H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 3.814 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/FiniteMap.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ LR

mainModule FiniteMap

((keysFM_GE :: FiniteMap Int a -> Int -> [Int]) :: FiniteMap Int a -> Int -> [Int])

module FiniteMap where

import qualified Maybe
import qualified Prelude

data FiniteMap a b = EmptyFM | Branch a b Int (FiniteMap a b) (FiniteMap a b)

instance (Eq a, Eq b) => Eq (FiniteMap a b) where

foldFM_GE :: Ord b => (b -> a -> c -> c) -> c -> b -> FiniteMap b a -> c

foldFM_GE

k z fr EmptyFM

foldFM_GE

k z fr (Branch key elt _ fm_l fm_r)

key >= fr

foldFM_GE k (k key elt (foldFM_GE k z fr fm_r)) fr fm_l

otherwise

foldFM_GE k z fr fm_r

keysFM_GE :: Ord a => FiniteMap a b -> a -> [a]

keysFM_GE

fm fr

foldFM_GE (\key elt rest ->key : rest) [] fr fm

module Maybe where

import qualified FiniteMap
import qualified Prelude

Lambda Reductions:
The following Lambda expression

\keyeltrest→key : rest

is transformed to

keysFM_GE0 key elt rest = key : rest

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

mainModule FiniteMap

((keysFM_GE :: FiniteMap Int a -> Int -> [Int]) :: FiniteMap Int a -> Int -> [Int])

module FiniteMap where

import qualified Maybe
import qualified Prelude

data FiniteMap a b = EmptyFM | Branch a b Int (FiniteMap a b) (FiniteMap a b)

instance (Eq a, Eq b) => Eq (FiniteMap b a) where

foldFM_GE :: Ord c => (c -> a -> b -> b) -> b -> c -> FiniteMap c a -> b

foldFM_GE

k z fr EmptyFM

foldFM_GE

k z fr (Branch key elt _ fm_l fm_r)

key >= fr

foldFM_GE k (k key elt (foldFM_GE k z fr fm_r)) fr fm_l

otherwise

foldFM_GE k z fr fm_r

keysFM_GE :: Ord b => FiniteMap b a -> b -> [b]

keysFM_GE

fm fr

foldFM_GE keysFM_GE0 [] fr fm

keysFM_GE0

key elt rest

key : rest

module Maybe where

import qualified FiniteMap
import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

mainModule FiniteMap

((keysFM_GE :: FiniteMap Int a -> Int -> [Int]) :: FiniteMap Int a -> Int -> [Int])

module FiniteMap where

import qualified Maybe
import qualified Prelude

data FiniteMap a b = EmptyFM | Branch a b Int (FiniteMap a b) (FiniteMap a b)

instance (Eq a, Eq b) => Eq (FiniteMap b a) where

foldFM_GE :: Ord c => (c -> a -> b -> b) -> b -> c -> FiniteMap c a -> b

foldFM_GE

k z fr EmptyFM

foldFM_GE

k z fr (Branch key elt vw fm_l fm_r)

key >= fr

foldFM_GE k (k key elt (foldFM_GE k z fr fm_r)) fr fm_l

otherwise

foldFM_GE k z fr fm_r

keysFM_GE :: Ord a => FiniteMap a b -> a -> [a]

keysFM_GE

fm fr

foldFM_GE keysFM_GE0 [] fr fm

keysFM_GE0

key elt rest

key : rest

module Maybe where

import qualified FiniteMap
import qualified Prelude

Cond Reductions:
The following Function with conditions

foldFM_GE k z fr EmptyFM = z

foldFM_GE k z fr (Branch key elt vw fm_l fm_r)

| key >= fr

= foldFM_GE k (k key elt (foldFM_GE k z fr fm_r)) fr fm_l

| otherwise

= foldFM_GE k z fr fm_r

is transformed to

foldFM_GE k z fr EmptyFM = foldFM_GE3 k z fr EmptyFM

foldFM_GE k z fr (Branch key elt vw fm_l fm_r) = foldFM_GE2 k z fr (Branch key elt vw fm_l fm_r)

foldFM_GE0 k z fr key elt vw fm_l fm_r True = foldFM_GE k z fr fm_r

foldFM_GE1 k z fr key elt vw fm_l fm_r True = foldFM_GE k (k key elt (foldFM_GE k z fr fm_r)) fr fm_l

foldFM_GE1 k z fr key elt vw fm_l fm_r False = foldFM_GE0 k z fr key elt vw fm_l fm_r otherwise

foldFM_GE2 k z fr (Branch key elt vw fm_l fm_r) = foldFM_GE1 k z fr key elt vw fm_l fm_r (key >= fr)

foldFM_GE3 k z fr EmptyFM = z

foldFM_GE3 wv ww wx wy = foldFM_GE2 wv ww wx wy

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ Narrow

mainModule FiniteMap

(keysFM_GE :: FiniteMap Int a -> Int -> [Int])

module FiniteMap where

import qualified Maybe
import qualified Prelude

data FiniteMap a b = EmptyFM | Branch a b Int (FiniteMap a b) (FiniteMap a b)

instance (Eq a, Eq b) => Eq (FiniteMap b a) where

foldFM_GE :: Ord c => (c -> b -> a -> a) -> a -> c -> FiniteMap c b -> a

foldFM_GE	k z fr EmptyFM	=	foldFM_GE3 k z fr EmptyFM
foldFM_GE	k z fr (Branch key elt vw fm_l fm_r)	=	foldFM_GE2 k z fr (Branch key elt vw fm_l fm_r)

foldFM_GE0

k z fr key elt vw fm_l fm_r True

foldFM_GE k z fr fm_r

foldFM_GE1	k z fr key elt vw fm_l fm_r True	=	foldFM_GE k (k key elt (foldFM_GE k z fr fm_r)) fr fm_l
foldFM_GE1	k z fr key elt vw fm_l fm_r False	=	foldFM_GE0 k z fr key elt vw fm_l fm_r otherwise

foldFM_GE2

k z fr (Branch key elt vw fm_l fm_r)

foldFM_GE1 k z fr key elt vw fm_l fm_r (key >= fr)

foldFM_GE3	k z fr EmptyFM	=	z
foldFM_GE3	wv ww wx wy	=	foldFM_GE2 wv ww wx wy

keysFM_GE :: Ord b => FiniteMap b a -> b -> [b]

keysFM_GE

fm fr

foldFM_GE keysFM_GE0 [] fr fm

keysFM_GE0

key elt rest

key : rest

module Maybe where

import qualified FiniteMap
import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="keysFM_GE",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="keysFM_GE wz3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="keysFM_GE wz3 wz4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="foldFM_GE keysFM_GE0 [] wz4 wz3",fontsize=16,color="burlywood",shape="triangle"];2657[label="wz3/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];5 -> 2657[label="",style="solid", color="burlywood", weight=9];
2657 -> 6[label="",style="solid", color="burlywood", weight=3];
2658[label="wz3/Branch wz30 wz31 wz32 wz33 wz34",fontsize=10,color="white",style="solid",shape="box"];5 -> 2658[label="",style="solid", color="burlywood", weight=9];
2658 -> 7[label="",style="solid", color="burlywood", weight=3];
6[label="foldFM_GE keysFM_GE0 [] wz4 EmptyFM",fontsize=16,color="black",shape="box"];6 -> 8[label="",style="solid", color="black", weight=3];
7[label="foldFM_GE keysFM_GE0 [] wz4 (Branch wz30 wz31 wz32 wz33 wz34)",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3];
8[label="foldFM_GE3 keysFM_GE0 [] wz4 EmptyFM",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
9[label="foldFM_GE2 keysFM_GE0 [] wz4 (Branch wz30 wz31 wz32 wz33 wz34)",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
10[label="[]",fontsize=16,color="green",shape="box"];11[label="foldFM_GE1 keysFM_GE0 [] wz4 wz30 wz31 wz32 wz33 wz34 (wz30 >= wz4)",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="foldFM_GE1 keysFM_GE0 [] wz4 wz30 wz31 wz32 wz33 wz34 (compare wz30 wz4 /= LT)",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="foldFM_GE1 keysFM_GE0 [] wz4 wz30 wz31 wz32 wz33 wz34 (not (compare wz30 wz4 == LT))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="foldFM_GE1 keysFM_GE0 [] wz4 wz30 wz31 wz32 wz33 wz34 (not (primCmpInt wz30 wz4 == LT))",fontsize=16,color="burlywood",shape="box"];2659[label="wz30/Pos wz300",fontsize=10,color="white",style="solid",shape="box"];14 -> 2659[label="",style="solid", color="burlywood", weight=9];
2659 -> 15[label="",style="solid", color="burlywood", weight=3];
2660[label="wz30/Neg wz300",fontsize=10,color="white",style="solid",shape="box"];14 -> 2660[label="",style="solid", color="burlywood", weight=9];
2660 -> 16[label="",style="solid", color="burlywood", weight=3];
15[label="foldFM_GE1 keysFM_GE0 [] wz4 (Pos wz300) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos wz300) wz4 == LT))",fontsize=16,color="burlywood",shape="box"];2661[label="wz300/Succ wz3000",fontsize=10,color="white",style="solid",shape="box"];15 -> 2661[label="",style="solid", color="burlywood", weight=9];
2661 -> 17[label="",style="solid", color="burlywood", weight=3];
2662[label="wz300/Zero",fontsize=10,color="white",style="solid",shape="box"];15 -> 2662[label="",style="solid", color="burlywood", weight=9];
2662 -> 18[label="",style="solid", color="burlywood", weight=3];
16[label="foldFM_GE1 keysFM_GE0 [] wz4 (Neg wz300) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg wz300) wz4 == LT))",fontsize=16,color="burlywood",shape="box"];2663[label="wz300/Succ wz3000",fontsize=10,color="white",style="solid",shape="box"];16 -> 2663[label="",style="solid", color="burlywood", weight=9];
2663 -> 19[label="",style="solid", color="burlywood", weight=3];
2664[label="wz300/Zero",fontsize=10,color="white",style="solid",shape="box"];16 -> 2664[label="",style="solid", color="burlywood", weight=9];
2664 -> 20[label="",style="solid", color="burlywood", weight=3];
17[label="foldFM_GE1 keysFM_GE0 [] wz4 (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos (Succ wz3000)) wz4 == LT))",fontsize=16,color="burlywood",shape="box"];2665[label="wz4/Pos wz40",fontsize=10,color="white",style="solid",shape="box"];17 -> 2665[label="",style="solid", color="burlywood", weight=9];
2665 -> 21[label="",style="solid", color="burlywood", weight=3];
2666[label="wz4/Neg wz40",fontsize=10,color="white",style="solid",shape="box"];17 -> 2666[label="",style="solid", color="burlywood", weight=9];
2666 -> 22[label="",style="solid", color="burlywood", weight=3];
18[label="foldFM_GE1 keysFM_GE0 [] wz4 (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos Zero) wz4 == LT))",fontsize=16,color="burlywood",shape="box"];2667[label="wz4/Pos wz40",fontsize=10,color="white",style="solid",shape="box"];18 -> 2667[label="",style="solid", color="burlywood", weight=9];
2667 -> 23[label="",style="solid", color="burlywood", weight=3];
2668[label="wz4/Neg wz40",fontsize=10,color="white",style="solid",shape="box"];18 -> 2668[label="",style="solid", color="burlywood", weight=9];
2668 -> 24[label="",style="solid", color="burlywood", weight=3];
19[label="foldFM_GE1 keysFM_GE0 [] wz4 (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg (Succ wz3000)) wz4 == LT))",fontsize=16,color="burlywood",shape="box"];2669[label="wz4/Pos wz40",fontsize=10,color="white",style="solid",shape="box"];19 -> 2669[label="",style="solid", color="burlywood", weight=9];
2669 -> 25[label="",style="solid", color="burlywood", weight=3];
2670[label="wz4/Neg wz40",fontsize=10,color="white",style="solid",shape="box"];19 -> 2670[label="",style="solid", color="burlywood", weight=9];
2670 -> 26[label="",style="solid", color="burlywood", weight=3];
20[label="foldFM_GE1 keysFM_GE0 [] wz4 (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg Zero) wz4 == LT))",fontsize=16,color="burlywood",shape="box"];2671[label="wz4/Pos wz40",fontsize=10,color="white",style="solid",shape="box"];20 -> 2671[label="",style="solid", color="burlywood", weight=9];
2671 -> 27[label="",style="solid", color="burlywood", weight=3];
2672[label="wz4/Neg wz40",fontsize=10,color="white",style="solid",shape="box"];20 -> 2672[label="",style="solid", color="burlywood", weight=9];
2672 -> 28[label="",style="solid", color="burlywood", weight=3];
21[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos (Succ wz3000)) (Pos wz40) == LT))",fontsize=16,color="black",shape="box"];21 -> 29[label="",style="solid", color="black", weight=3];
22[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos (Succ wz3000)) (Neg wz40) == LT))",fontsize=16,color="black",shape="box"];22 -> 30[label="",style="solid", color="black", weight=3];
23[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos Zero) (Pos wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2673[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];23 -> 2673[label="",style="solid", color="burlywood", weight=9];
2673 -> 31[label="",style="solid", color="burlywood", weight=3];
2674[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];23 -> 2674[label="",style="solid", color="burlywood", weight=9];
2674 -> 32[label="",style="solid", color="burlywood", weight=3];
24[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos Zero) (Neg wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2675[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];24 -> 2675[label="",style="solid", color="burlywood", weight=9];
2675 -> 33[label="",style="solid", color="burlywood", weight=3];
2676[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];24 -> 2676[label="",style="solid", color="burlywood", weight=9];
2676 -> 34[label="",style="solid", color="burlywood", weight=3];
25[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg (Succ wz3000)) (Pos wz40) == LT))",fontsize=16,color="black",shape="box"];25 -> 35[label="",style="solid", color="black", weight=3];
26[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg (Succ wz3000)) (Neg wz40) == LT))",fontsize=16,color="black",shape="box"];26 -> 36[label="",style="solid", color="black", weight=3];
27[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg Zero) (Pos wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2677[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];27 -> 2677[label="",style="solid", color="burlywood", weight=9];
2677 -> 37[label="",style="solid", color="burlywood", weight=3];
2678[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];27 -> 2678[label="",style="solid", color="burlywood", weight=9];
2678 -> 38[label="",style="solid", color="burlywood", weight=3];
28[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg Zero) (Neg wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2679[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];28 -> 2679[label="",style="solid", color="burlywood", weight=9];
2679 -> 39[label="",style="solid", color="burlywood", weight=3];
2680[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];28 -> 2680[label="",style="solid", color="burlywood", weight=9];
2680 -> 40[label="",style="solid", color="burlywood", weight=3];
29[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat (Succ wz3000) wz40 == LT))",fontsize=16,color="burlywood",shape="box"];2681[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];29 -> 2681[label="",style="solid", color="burlywood", weight=9];
2681 -> 41[label="",style="solid", color="burlywood", weight=3];
2682[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];29 -> 2682[label="",style="solid", color="burlywood", weight=9];
2682 -> 42[label="",style="solid", color="burlywood", weight=3];
30[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (GT == LT))",fontsize=16,color="black",shape="box"];30 -> 43[label="",style="solid", color="black", weight=3];
31[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos Zero) (Pos (Succ wz400)) == LT))",fontsize=16,color="black",shape="box"];31 -> 44[label="",style="solid", color="black", weight=3];
32[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];32 -> 45[label="",style="solid", color="black", weight=3];
33[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos Zero) (Neg (Succ wz400)) == LT))",fontsize=16,color="black",shape="box"];33 -> 46[label="",style="solid", color="black", weight=3];
34[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Pos Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];34 -> 47[label="",style="solid", color="black", weight=3];
35[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (LT == LT))",fontsize=16,color="black",shape="box"];35 -> 48[label="",style="solid", color="black", weight=3];
36[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat wz40 (Succ wz3000) == LT))",fontsize=16,color="burlywood",shape="box"];2683[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];36 -> 2683[label="",style="solid", color="burlywood", weight=9];
2683 -> 49[label="",style="solid", color="burlywood", weight=3];
2684[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];36 -> 2684[label="",style="solid", color="burlywood", weight=9];
2684 -> 50[label="",style="solid", color="burlywood", weight=3];
37[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg Zero) (Pos (Succ wz400)) == LT))",fontsize=16,color="black",shape="box"];37 -> 51[label="",style="solid", color="black", weight=3];
38[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];38 -> 52[label="",style="solid", color="black", weight=3];
39[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg Zero) (Neg (Succ wz400)) == LT))",fontsize=16,color="black",shape="box"];39 -> 53[label="",style="solid", color="black", weight=3];
40[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpInt (Neg Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];40 -> 54[label="",style="solid", color="black", weight=3];
41[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat (Succ wz3000) (Succ wz400) == LT))",fontsize=16,color="black",shape="box"];41 -> 55[label="",style="solid", color="black", weight=3];
42[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat (Succ wz3000) Zero == LT))",fontsize=16,color="black",shape="box"];42 -> 56[label="",style="solid", color="black", weight=3];
43[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];43 -> 57[label="",style="solid", color="black", weight=3];
44[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 (not (primCmpNat Zero (Succ wz400) == LT))",fontsize=16,color="black",shape="box"];44 -> 58[label="",style="solid", color="black", weight=3];
45[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos Zero) wz31 wz32 wz33 wz34 (not (EQ == LT))",fontsize=16,color="black",shape="box"];45 -> 59[label="",style="solid", color="black", weight=3];
46[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 (not (GT == LT))",fontsize=16,color="black",shape="box"];46 -> 60[label="",style="solid", color="black", weight=3];
47[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Pos Zero) wz31 wz32 wz33 wz34 (not (EQ == LT))",fontsize=16,color="black",shape="box"];47 -> 61[label="",style="solid", color="black", weight=3];
48[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not True)",fontsize=16,color="black",shape="box"];48 -> 62[label="",style="solid", color="black", weight=3];
49[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat (Succ wz400) (Succ wz3000) == LT))",fontsize=16,color="black",shape="box"];49 -> 63[label="",style="solid", color="black", weight=3];
50[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat Zero (Succ wz3000) == LT))",fontsize=16,color="black",shape="box"];50 -> 64[label="",style="solid", color="black", weight=3];
51[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 (not (LT == LT))",fontsize=16,color="black",shape="box"];51 -> 65[label="",style="solid", color="black", weight=3];
52[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Neg Zero) wz31 wz32 wz33 wz34 (not (EQ == LT))",fontsize=16,color="black",shape="box"];52 -> 66[label="",style="solid", color="black", weight=3];
53[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 (not (primCmpNat (Succ wz400) Zero == LT))",fontsize=16,color="black",shape="box"];53 -> 67[label="",style="solid", color="black", weight=3];
54[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg Zero) wz31 wz32 wz33 wz34 (not (EQ == LT))",fontsize=16,color="black",shape="box"];54 -> 68[label="",style="solid", color="black", weight=3];
55 -> 2497[label="",style="dashed", color="red", weight=0];
55[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat wz3000 wz400 == LT))",fontsize=16,color="magenta"];55 -> 2498[label="",style="dashed", color="magenta", weight=3];
55 -> 2499[label="",style="dashed", color="magenta", weight=3];
55 -> 2500[label="",style="dashed", color="magenta", weight=3];
55 -> 2501[label="",style="dashed", color="magenta", weight=3];
55 -> 2502[label="",style="dashed", color="magenta", weight=3];
55 -> 2503[label="",style="dashed", color="magenta", weight=3];
55 -> 2504[label="",style="dashed", color="magenta", weight=3];
55 -> 2505[label="",style="dashed", color="magenta", weight=3];
55 -> 2506[label="",style="dashed", color="magenta", weight=3];
56[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not (GT == LT))",fontsize=16,color="black",shape="box"];56 -> 71[label="",style="solid", color="black", weight=3];
57[label="foldFM_GE1 keysFM_GE0 [] (Neg wz40) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];57 -> 72[label="",style="solid", color="black", weight=3];
58[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 (not (LT == LT))",fontsize=16,color="black",shape="box"];58 -> 73[label="",style="solid", color="black", weight=3];
59[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos Zero) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];59 -> 74[label="",style="solid", color="black", weight=3];
60[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];60 -> 75[label="",style="solid", color="black", weight=3];
61[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Pos Zero) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];61 -> 76[label="",style="solid", color="black", weight=3];
62[label="foldFM_GE1 keysFM_GE0 [] (Pos wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 False",fontsize=16,color="black",shape="box"];62 -> 77[label="",style="solid", color="black", weight=3];
63 -> 2092[label="",style="dashed", color="red", weight=0];
63[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (primCmpNat wz400 wz3000 == LT))",fontsize=16,color="magenta"];63 -> 2093[label="",style="dashed", color="magenta", weight=3];
63 -> 2094[label="",style="dashed", color="magenta", weight=3];
63 -> 2095[label="",style="dashed", color="magenta", weight=3];
63 -> 2096[label="",style="dashed", color="magenta", weight=3];
63 -> 2097[label="",style="dashed", color="magenta", weight=3];
63 -> 2098[label="",style="dashed", color="magenta", weight=3];
63 -> 2099[label="",style="dashed", color="magenta", weight=3];
63 -> 2100[label="",style="dashed", color="magenta", weight=3];
63 -> 2101[label="",style="dashed", color="magenta", weight=3];
64[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not (LT == LT))",fontsize=16,color="black",shape="box"];64 -> 80[label="",style="solid", color="black", weight=3];
65[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 (not True)",fontsize=16,color="black",shape="box"];65 -> 81[label="",style="solid", color="black", weight=3];
66[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Neg Zero) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];66 -> 82[label="",style="solid", color="black", weight=3];
67[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 (not (GT == LT))",fontsize=16,color="black",shape="box"];67 -> 83[label="",style="solid", color="black", weight=3];
68[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg Zero) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];68 -> 84[label="",style="solid", color="black", weight=3];
2498[label="wz31",fontsize=16,color="green",shape="box"];2499[label="[]",fontsize=16,color="green",shape="box"];2500[label="wz400",fontsize=16,color="green",shape="box"];2501[label="wz34",fontsize=16,color="green",shape="box"];2502[label="wz3000",fontsize=16,color="green",shape="box"];2503[label="wz33",fontsize=16,color="green",shape="box"];2504[label="wz32",fontsize=16,color="green",shape="box"];2505[label="wz400",fontsize=16,color="green",shape="box"];2506[label="wz3000",fontsize=16,color="green",shape="box"];2497[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat wz292 wz293 == LT))",fontsize=16,color="burlywood",shape="triangle"];2687[label="wz292/Succ wz2920",fontsize=10,color="white",style="solid",shape="box"];2497 -> 2687[label="",style="solid", color="burlywood", weight=9];
2687 -> 2624[label="",style="solid", color="burlywood", weight=3];
2688[label="wz292/Zero",fontsize=10,color="white",style="solid",shape="box"];2497 -> 2688[label="",style="solid", color="burlywood", weight=9];
2688 -> 2625[label="",style="solid", color="burlywood", weight=3];
71[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];71 -> 89[label="",style="solid", color="black", weight=3];
72 -> 90[label="",style="dashed", color="red", weight=0];
72[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 (foldFM_GE keysFM_GE0 [] (Neg wz40) wz34)) (Neg wz40) wz33",fontsize=16,color="magenta"];72 -> 91[label="",style="dashed", color="magenta", weight=3];
73[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 (not True)",fontsize=16,color="black",shape="box"];73 -> 92[label="",style="solid", color="black", weight=3];
74[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];74 -> 93[label="",style="solid", color="black", weight=3];
75[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];75 -> 94[label="",style="solid", color="black", weight=3];
76[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Pos Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];76 -> 95[label="",style="solid", color="black", weight=3];
77[label="foldFM_GE0 keysFM_GE0 [] (Pos wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 otherwise",fontsize=16,color="black",shape="box"];77 -> 96[label="",style="solid", color="black", weight=3];
2093[label="wz32",fontsize=16,color="green",shape="box"];2094[label="wz400",fontsize=16,color="green",shape="box"];2095[label="wz3000",fontsize=16,color="green",shape="box"];2096[label="wz33",fontsize=16,color="green",shape="box"];2097[label="[]",fontsize=16,color="green",shape="box"];2098[label="wz31",fontsize=16,color="green",shape="box"];2099[label="wz3000",fontsize=16,color="green",shape="box"];2100[label="wz34",fontsize=16,color="green",shape="box"];2101[label="wz400",fontsize=16,color="green",shape="box"];2092[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat wz219 wz220 == LT))",fontsize=16,color="burlywood",shape="triangle"];2690[label="wz219/Succ wz2190",fontsize=10,color="white",style="solid",shape="box"];2092 -> 2690[label="",style="solid", color="burlywood", weight=9];
2690 -> 2210[label="",style="solid", color="burlywood", weight=3];
2691[label="wz219/Zero",fontsize=10,color="white",style="solid",shape="box"];2092 -> 2691[label="",style="solid", color="burlywood", weight=9];
2691 -> 2211[label="",style="solid", color="burlywood", weight=3];
80[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 (not True)",fontsize=16,color="black",shape="box"];80 -> 101[label="",style="solid", color="black", weight=3];
81[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 False",fontsize=16,color="black",shape="box"];81 -> 102[label="",style="solid", color="black", weight=3];
82[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Neg Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];82 -> 103[label="",style="solid", color="black", weight=3];
83[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 (not False)",fontsize=16,color="black",shape="box"];83 -> 104[label="",style="solid", color="black", weight=3];
84[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];84 -> 105[label="",style="solid", color="black", weight=3];
2624[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat (Succ wz2920) wz293 == LT))",fontsize=16,color="burlywood",shape="box"];2692[label="wz293/Succ wz2930",fontsize=10,color="white",style="solid",shape="box"];2624 -> 2692[label="",style="solid", color="burlywood", weight=9];
2692 -> 2626[label="",style="solid", color="burlywood", weight=3];
2693[label="wz293/Zero",fontsize=10,color="white",style="solid",shape="box"];2624 -> 2693[label="",style="solid", color="burlywood", weight=9];
2693 -> 2627[label="",style="solid", color="burlywood", weight=3];
2625[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat Zero wz293 == LT))",fontsize=16,color="burlywood",shape="box"];2694[label="wz293/Succ wz2930",fontsize=10,color="white",style="solid",shape="box"];2625 -> 2694[label="",style="solid", color="burlywood", weight=9];
2694 -> 2628[label="",style="solid", color="burlywood", weight=3];
2695[label="wz293/Zero",fontsize=10,color="white",style="solid",shape="box"];2625 -> 2695[label="",style="solid", color="burlywood", weight=9];
2695 -> 2629[label="",style="solid", color="burlywood", weight=3];
89[label="foldFM_GE1 keysFM_GE0 [] (Pos Zero) (Pos (Succ wz3000)) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];89 -> 110[label="",style="solid", color="black", weight=3];
91 -> 5[label="",style="dashed", color="red", weight=0];
91[label="foldFM_GE keysFM_GE0 [] (Neg wz40) wz34",fontsize=16,color="magenta"];91 -> 111[label="",style="dashed", color="magenta", weight=3];
91 -> 112[label="",style="dashed", color="magenta", weight=3];
90[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5) (Neg wz40) wz33",fontsize=16,color="burlywood",shape="triangle"];2697[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];90 -> 2697[label="",style="solid", color="burlywood", weight=9];
2697 -> 113[label="",style="solid", color="burlywood", weight=3];
2698[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];90 -> 2698[label="",style="solid", color="burlywood", weight=9];
2698 -> 114[label="",style="solid", color="burlywood", weight=3];
92[label="foldFM_GE1 keysFM_GE0 [] (Pos (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 False",fontsize=16,color="black",shape="box"];92 -> 115[label="",style="solid", color="black", weight=3];
93 -> 116[label="",style="dashed", color="red", weight=0];
93[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 (foldFM_GE keysFM_GE0 [] (Pos Zero) wz34)) (Pos Zero) wz33",fontsize=16,color="magenta"];93 -> 117[label="",style="dashed", color="magenta", weight=3];
94 -> 118[label="",style="dashed", color="red", weight=0];
94[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 (foldFM_GE keysFM_GE0 [] (Neg (Succ wz400)) wz34)) (Neg (Succ wz400)) wz33",fontsize=16,color="magenta"];94 -> 119[label="",style="dashed", color="magenta", weight=3];
95 -> 120[label="",style="dashed", color="red", weight=0];
95[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 (foldFM_GE keysFM_GE0 [] (Neg Zero) wz34)) (Neg Zero) wz33",fontsize=16,color="magenta"];95 -> 121[label="",style="dashed", color="magenta", weight=3];
96[label="foldFM_GE0 keysFM_GE0 [] (Pos wz40) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];96 -> 122[label="",style="solid", color="black", weight=3];
2210[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat (Succ wz2190) wz220 == LT))",fontsize=16,color="burlywood",shape="box"];2702[label="wz220/Succ wz2200",fontsize=10,color="white",style="solid",shape="box"];2210 -> 2702[label="",style="solid", color="burlywood", weight=9];
2702 -> 2222[label="",style="solid", color="burlywood", weight=3];
2703[label="wz220/Zero",fontsize=10,color="white",style="solid",shape="box"];2210 -> 2703[label="",style="solid", color="burlywood", weight=9];
2703 -> 2223[label="",style="solid", color="burlywood", weight=3];
2211[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat Zero wz220 == LT))",fontsize=16,color="burlywood",shape="box"];2704[label="wz220/Succ wz2200",fontsize=10,color="white",style="solid",shape="box"];2211 -> 2704[label="",style="solid", color="burlywood", weight=9];
2704 -> 2224[label="",style="solid", color="burlywood", weight=3];
2705[label="wz220/Zero",fontsize=10,color="white",style="solid",shape="box"];2211 -> 2705[label="",style="solid", color="burlywood", weight=9];
2705 -> 2225[label="",style="solid", color="burlywood", weight=3];
101[label="foldFM_GE1 keysFM_GE0 [] (Neg Zero) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 False",fontsize=16,color="black",shape="box"];101 -> 127[label="",style="solid", color="black", weight=3];
102[label="foldFM_GE0 keysFM_GE0 [] (Pos (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 otherwise",fontsize=16,color="black",shape="box"];102 -> 128[label="",style="solid", color="black", weight=3];
103 -> 129[label="",style="dashed", color="red", weight=0];
103[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 (foldFM_GE keysFM_GE0 [] (Pos Zero) wz34)) (Pos Zero) wz33",fontsize=16,color="magenta"];103 -> 130[label="",style="dashed", color="magenta", weight=3];
104[label="foldFM_GE1 keysFM_GE0 [] (Neg (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];104 -> 131[label="",style="solid", color="black", weight=3];
105 -> 132[label="",style="dashed", color="red", weight=0];
105[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 (foldFM_GE keysFM_GE0 [] (Neg Zero) wz34)) (Neg Zero) wz33",fontsize=16,color="magenta"];105 -> 133[label="",style="dashed", color="magenta", weight=3];
2626[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat (Succ wz2920) (Succ wz2930) == LT))",fontsize=16,color="black",shape="box"];2626 -> 2630[label="",style="solid", color="black", weight=3];
2627[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat (Succ wz2920) Zero == LT))",fontsize=16,color="black",shape="box"];2627 -> 2631[label="",style="solid", color="black", weight=3];
2628[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat Zero (Succ wz2930) == LT))",fontsize=16,color="black",shape="box"];2628 -> 2632[label="",style="solid", color="black", weight=3];
2629[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat Zero Zero == LT))",fontsize=16,color="black",shape="box"];2629 -> 2633[label="",style="solid", color="black", weight=3];
110 -> 139[label="",style="dashed", color="red", weight=0];
110[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 (foldFM_GE keysFM_GE0 [] (Pos Zero) wz34)) (Pos Zero) wz33",fontsize=16,color="magenta"];110 -> 140[label="",style="dashed", color="magenta", weight=3];
111[label="Neg wz40",fontsize=16,color="green",shape="box"];112[label="wz34",fontsize=16,color="green",shape="box"];113[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5) (Neg wz40) EmptyFM",fontsize=16,color="black",shape="box"];113 -> 141[label="",style="solid", color="black", weight=3];
114[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5) (Neg wz40) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];114 -> 142[label="",style="solid", color="black", weight=3];
115[label="foldFM_GE0 keysFM_GE0 [] (Pos (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 otherwise",fontsize=16,color="black",shape="box"];115 -> 143[label="",style="solid", color="black", weight=3];
117 -> 5[label="",style="dashed", color="red", weight=0];
117[label="foldFM_GE keysFM_GE0 [] (Pos Zero) wz34",fontsize=16,color="magenta"];117 -> 144[label="",style="dashed", color="magenta", weight=3];
117 -> 145[label="",style="dashed", color="magenta", weight=3];
116[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz6) (Pos Zero) wz33",fontsize=16,color="burlywood",shape="triangle"];2710[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];116 -> 2710[label="",style="solid", color="burlywood", weight=9];
2710 -> 146[label="",style="solid", color="burlywood", weight=3];
2711[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];116 -> 2711[label="",style="solid", color="burlywood", weight=9];
2711 -> 147[label="",style="solid", color="burlywood", weight=3];
119 -> 5[label="",style="dashed", color="red", weight=0];
119[label="foldFM_GE keysFM_GE0 [] (Neg (Succ wz400)) wz34",fontsize=16,color="magenta"];119 -> 148[label="",style="dashed", color="magenta", weight=3];
119 -> 149[label="",style="dashed", color="magenta", weight=3];
118[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz7) (Neg (Succ wz400)) wz33",fontsize=16,color="burlywood",shape="triangle"];2713[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];118 -> 2713[label="",style="solid", color="burlywood", weight=9];
2713 -> 150[label="",style="solid", color="burlywood", weight=3];
2714[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];118 -> 2714[label="",style="solid", color="burlywood", weight=9];
2714 -> 151[label="",style="solid", color="burlywood", weight=3];
121 -> 5[label="",style="dashed", color="red", weight=0];
121[label="foldFM_GE keysFM_GE0 [] (Neg Zero) wz34",fontsize=16,color="magenta"];121 -> 152[label="",style="dashed", color="magenta", weight=3];
121 -> 153[label="",style="dashed", color="magenta", weight=3];
120[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz8) (Neg Zero) wz33",fontsize=16,color="burlywood",shape="triangle"];2716[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];120 -> 2716[label="",style="solid", color="burlywood", weight=9];
2716 -> 154[label="",style="solid", color="burlywood", weight=3];
2717[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];120 -> 2717[label="",style="solid", color="burlywood", weight=9];
2717 -> 155[label="",style="solid", color="burlywood", weight=3];
122 -> 5[label="",style="dashed", color="red", weight=0];
122[label="foldFM_GE keysFM_GE0 [] (Pos wz40) wz34",fontsize=16,color="magenta"];122 -> 156[label="",style="dashed", color="magenta", weight=3];
122 -> 157[label="",style="dashed", color="magenta", weight=3];
2222[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat (Succ wz2190) (Succ wz2200) == LT))",fontsize=16,color="black",shape="box"];2222 -> 2234[label="",style="solid", color="black", weight=3];
2223[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat (Succ wz2190) Zero == LT))",fontsize=16,color="black",shape="box"];2223 -> 2235[label="",style="solid", color="black", weight=3];
2224[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat Zero (Succ wz2200) == LT))",fontsize=16,color="black",shape="box"];2224 -> 2236[label="",style="solid", color="black", weight=3];
2225[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat Zero Zero == LT))",fontsize=16,color="black",shape="box"];2225 -> 2237[label="",style="solid", color="black", weight=3];
127[label="foldFM_GE0 keysFM_GE0 [] (Neg Zero) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 otherwise",fontsize=16,color="black",shape="box"];127 -> 163[label="",style="solid", color="black", weight=3];
128[label="foldFM_GE0 keysFM_GE0 [] (Pos (Succ wz400)) (Neg Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];128 -> 164[label="",style="solid", color="black", weight=3];
130 -> 5[label="",style="dashed", color="red", weight=0];
130[label="foldFM_GE keysFM_GE0 [] (Pos Zero) wz34",fontsize=16,color="magenta"];130 -> 165[label="",style="dashed", color="magenta", weight=3];
130 -> 166[label="",style="dashed", color="magenta", weight=3];
129[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz9) (Pos Zero) wz33",fontsize=16,color="burlywood",shape="triangle"];2720[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];129 -> 2720[label="",style="solid", color="burlywood", weight=9];
2720 -> 167[label="",style="solid", color="burlywood", weight=3];
2721[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];129 -> 2721[label="",style="solid", color="burlywood", weight=9];
2721 -> 168[label="",style="solid", color="burlywood", weight=3];
131 -> 169[label="",style="dashed", color="red", weight=0];
131[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 (foldFM_GE keysFM_GE0 [] (Neg (Succ wz400)) wz34)) (Neg (Succ wz400)) wz33",fontsize=16,color="magenta"];131 -> 170[label="",style="dashed", color="magenta", weight=3];
133 -> 5[label="",style="dashed", color="red", weight=0];
133[label="foldFM_GE keysFM_GE0 [] (Neg Zero) wz34",fontsize=16,color="magenta"];133 -> 171[label="",style="dashed", color="magenta", weight=3];
133 -> 172[label="",style="dashed", color="magenta", weight=3];
132[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz10) (Neg Zero) wz33",fontsize=16,color="burlywood",shape="triangle"];2724[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];132 -> 2724[label="",style="solid", color="burlywood", weight=9];
2724 -> 173[label="",style="solid", color="burlywood", weight=3];
2725[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];132 -> 2725[label="",style="solid", color="burlywood", weight=9];
2725 -> 174[label="",style="solid", color="burlywood", weight=3];
2630 -> 2497[label="",style="dashed", color="red", weight=0];
2630[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (primCmpNat wz2920 wz2930 == LT))",fontsize=16,color="magenta"];2630 -> 2634[label="",style="dashed", color="magenta", weight=3];
2630 -> 2635[label="",style="dashed", color="magenta", weight=3];
2631[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (GT == LT))",fontsize=16,color="black",shape="box"];2631 -> 2636[label="",style="solid", color="black", weight=3];
2632[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (LT == LT))",fontsize=16,color="black",shape="box"];2632 -> 2637[label="",style="solid", color="black", weight=3];
2633[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not (EQ == LT))",fontsize=16,color="black",shape="box"];2633 -> 2638[label="",style="solid", color="black", weight=3];
140 -> 5[label="",style="dashed", color="red", weight=0];
140[label="foldFM_GE keysFM_GE0 [] (Pos Zero) wz34",fontsize=16,color="magenta"];140 -> 182[label="",style="dashed", color="magenta", weight=3];
140 -> 183[label="",style="dashed", color="magenta", weight=3];
139[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz11) (Pos Zero) wz33",fontsize=16,color="burlywood",shape="triangle"];2728[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];139 -> 2728[label="",style="solid", color="burlywood", weight=9];
2728 -> 184[label="",style="solid", color="burlywood", weight=3];
2729[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];139 -> 2729[label="",style="solid", color="burlywood", weight=9];
2729 -> 185[label="",style="solid", color="burlywood", weight=3];
141[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5) (Neg wz40) EmptyFM",fontsize=16,color="black",shape="box"];141 -> 186[label="",style="solid", color="black", weight=3];
142[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5) (Neg wz40) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];142 -> 187[label="",style="solid", color="black", weight=3];
143[label="foldFM_GE0 keysFM_GE0 [] (Pos (Succ wz400)) (Pos Zero) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];143 -> 188[label="",style="solid", color="black", weight=3];
144[label="Pos Zero",fontsize=16,color="green",shape="box"];145[label="wz34",fontsize=16,color="green",shape="box"];146[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz6) (Pos Zero) EmptyFM",fontsize=16,color="black",shape="box"];146 -> 189[label="",style="solid", color="black", weight=3];
147[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz6) (Pos Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];147 -> 190[label="",style="solid", color="black", weight=3];
148[label="Neg (Succ wz400)",fontsize=16,color="green",shape="box"];149[label="wz34",fontsize=16,color="green",shape="box"];150[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz7) (Neg (Succ wz400)) EmptyFM",fontsize=16,color="black",shape="box"];150 -> 191[label="",style="solid", color="black", weight=3];
151[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz7) (Neg (Succ wz400)) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];151 -> 192[label="",style="solid", color="black", weight=3];
152[label="Neg Zero",fontsize=16,color="green",shape="box"];153[label="wz34",fontsize=16,color="green",shape="box"];154[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz8) (Neg Zero) EmptyFM",fontsize=16,color="black",shape="box"];154 -> 193[label="",style="solid", color="black", weight=3];
155[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz8) (Neg Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];155 -> 194[label="",style="solid", color="black", weight=3];
156[label="Pos wz40",fontsize=16,color="green",shape="box"];157[label="wz34",fontsize=16,color="green",shape="box"];2234 -> 2092[label="",style="dashed", color="red", weight=0];
2234[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (primCmpNat wz2190 wz2200 == LT))",fontsize=16,color="magenta"];2234 -> 2245[label="",style="dashed", color="magenta", weight=3];
2234 -> 2246[label="",style="dashed", color="magenta", weight=3];
2235[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (GT == LT))",fontsize=16,color="black",shape="box"];2235 -> 2247[label="",style="solid", color="black", weight=3];
2236[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (LT == LT))",fontsize=16,color="black",shape="box"];2236 -> 2248[label="",style="solid", color="black", weight=3];
2237[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not (EQ == LT))",fontsize=16,color="black",shape="box"];2237 -> 2249[label="",style="solid", color="black", weight=3];
163[label="foldFM_GE0 keysFM_GE0 [] (Neg Zero) (Neg (Succ wz3000)) wz31 wz32 wz33 wz34 True",fontsize=16,color="black",shape="box"];163 -> 202[label="",style="solid", color="black", weight=3];
164 -> 1183[label="",style="dashed", color="red", weight=0];
164[label="foldFM_GE keysFM_GE0 [] (Pos (Succ wz400)) wz34",fontsize=16,color="magenta"];164 -> 1184[label="",style="dashed", color="magenta", weight=3];
164 -> 1185[label="",style="dashed", color="magenta", weight=3];
164 -> 1186[label="",style="dashed", color="magenta", weight=3];
165[label="Pos Zero",fontsize=16,color="green",shape="box"];166[label="wz34",fontsize=16,color="green",shape="box"];167[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz9) (Pos Zero) EmptyFM",fontsize=16,color="black",shape="box"];167 -> 205[label="",style="solid", color="black", weight=3];
168[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz9) (Pos Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];168 -> 206[label="",style="solid", color="black", weight=3];
170 -> 5[label="",style="dashed", color="red", weight=0];
170[label="foldFM_GE keysFM_GE0 [] (Neg (Succ wz400)) wz34",fontsize=16,color="magenta"];170 -> 207[label="",style="dashed", color="magenta", weight=3];
170 -> 208[label="",style="dashed", color="magenta", weight=3];
169[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz12) (Neg (Succ wz400)) wz33",fontsize=16,color="burlywood",shape="triangle"];2733[label="wz33/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];169 -> 2733[label="",style="solid", color="burlywood", weight=9];
2733 -> 209[label="",style="solid", color="burlywood", weight=3];
2734[label="wz33/Branch wz330 wz331 wz332 wz333 wz334",fontsize=10,color="white",style="solid",shape="box"];169 -> 2734[label="",style="solid", color="burlywood", weight=9];
2734 -> 210[label="",style="solid", color="burlywood", weight=3];
171[label="Neg Zero",fontsize=16,color="green",shape="box"];172[label="wz34",fontsize=16,color="green",shape="box"];173[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz10) (Neg Zero) EmptyFM",fontsize=16,color="black",shape="box"];173 -> 211[label="",style="solid", color="black", weight=3];
174[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz10) (Neg Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];174 -> 212[label="",style="solid", color="black", weight=3];
2634[label="wz2930",fontsize=16,color="green",shape="box"];2635[label="wz2920",fontsize=16,color="green",shape="box"];2636[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not False)",fontsize=16,color="black",shape="triangle"];2636 -> 2639[label="",style="solid", color="black", weight=3];
2637[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not True)",fontsize=16,color="black",shape="box"];2637 -> 2640[label="",style="solid", color="black", weight=3];
2638 -> 2636[label="",style="dashed", color="red", weight=0];
2638[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 (not False)",fontsize=16,color="magenta"];182[label="Pos Zero",fontsize=16,color="green",shape="box"];183[label="wz34",fontsize=16,color="green",shape="box"];184[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz11) (Pos Zero) EmptyFM",fontsize=16,color="black",shape="box"];184 -> 220[label="",style="solid", color="black", weight=3];
185[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz11) (Pos Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];185 -> 221[label="",style="solid", color="black", weight=3];
186[label="keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5",fontsize=16,color="black",shape="triangle"];186 -> 222[label="",style="solid", color="black", weight=3];
187 -> 223[label="",style="dashed", color="red", weight=0];
187[label="foldFM_GE1 keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5) (Neg wz40) wz330 wz331 wz332 wz333 wz334 (wz330 >= Neg wz40)",fontsize=16,color="magenta"];187 -> 224[label="",style="dashed", color="magenta", weight=3];
188 -> 1183[label="",style="dashed", color="red", weight=0];
188[label="foldFM_GE keysFM_GE0 [] (Pos (Succ wz400)) wz34",fontsize=16,color="magenta"];188 -> 1187[label="",style="dashed", color="magenta", weight=3];
188 -> 1188[label="",style="dashed", color="magenta", weight=3];
188 -> 1189[label="",style="dashed", color="magenta", weight=3];
189 -> 257[label="",style="dashed", color="red", weight=0];
189[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz6) (Pos Zero) EmptyFM",fontsize=16,color="magenta"];189 -> 258[label="",style="dashed", color="magenta", weight=3];
190 -> 261[label="",style="dashed", color="red", weight=0];
190[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz6) (Pos Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="magenta"];190 -> 262[label="",style="dashed", color="magenta", weight=3];
191 -> 286[label="",style="dashed", color="red", weight=0];
191[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz7) (Neg (Succ wz400)) EmptyFM",fontsize=16,color="magenta"];191 -> 287[label="",style="dashed", color="magenta", weight=3];
192 -> 291[label="",style="dashed", color="red", weight=0];
192[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz7) (Neg (Succ wz400)) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="magenta"];192 -> 292[label="",style="dashed", color="magenta", weight=3];
193[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz8) (Neg Zero) EmptyFM",fontsize=16,color="black",shape="box"];193 -> 231[label="",style="solid", color="black", weight=3];
194[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz8) (Neg Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];194 -> 232[label="",style="solid", color="black", weight=3];
2245[label="wz2200",fontsize=16,color="green",shape="box"];2246[label="wz2190",fontsize=16,color="green",shape="box"];2247[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not False)",fontsize=16,color="black",shape="triangle"];2247 -> 2312[label="",style="solid", color="black", weight=3];
2248[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not True)",fontsize=16,color="black",shape="box"];2248 -> 2313[label="",style="solid", color="black", weight=3];
2249 -> 2247[label="",style="dashed", color="red", weight=0];
2249[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 (not False)",fontsize=16,color="magenta"];202 -> 5[label="",style="dashed", color="red", weight=0];
202[label="foldFM_GE keysFM_GE0 [] (Neg Zero) wz34",fontsize=16,color="magenta"];202 -> 240[label="",style="dashed", color="magenta", weight=3];
202 -> 241[label="",style="dashed", color="magenta", weight=3];
1184[label="wz400",fontsize=16,color="green",shape="box"];1185[label="wz34",fontsize=16,color="green",shape="box"];1186[label="[]",fontsize=16,color="green",shape="box"];1183[label="foldFM_GE keysFM_GE0 wz133 (Pos (Succ wz111)) wz115",fontsize=16,color="burlywood",shape="triangle"];2744[label="wz115/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];1183 -> 2744[label="",style="solid", color="burlywood", weight=9];
2744 -> 1252[label="",style="solid", color="burlywood", weight=3];
2745[label="wz115/Branch wz1150 wz1151 wz1152 wz1153 wz1154",fontsize=10,color="white",style="solid",shape="box"];1183 -> 2745[label="",style="solid", color="burlywood", weight=9];
2745 -> 1253[label="",style="solid", color="burlywood", weight=3];
205 -> 257[label="",style="dashed", color="red", weight=0];
205[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz9) (Pos Zero) EmptyFM",fontsize=16,color="magenta"];205 -> 259[label="",style="dashed", color="magenta", weight=3];
206 -> 261[label="",style="dashed", color="red", weight=0];
206[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz9) (Pos Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="magenta"];206 -> 263[label="",style="dashed", color="magenta", weight=3];
207[label="Neg (Succ wz400)",fontsize=16,color="green",shape="box"];208[label="wz34",fontsize=16,color="green",shape="box"];209[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz12) (Neg (Succ wz400)) EmptyFM",fontsize=16,color="black",shape="box"];209 -> 244[label="",style="solid", color="black", weight=3];
210[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz12) (Neg (Succ wz400)) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];210 -> 245[label="",style="solid", color="black", weight=3];
211[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz10) (Neg Zero) EmptyFM",fontsize=16,color="black",shape="box"];211 -> 246[label="",style="solid", color="black", weight=3];
212[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz10) (Neg Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="box"];212 -> 247[label="",style="solid", color="black", weight=3];
2639[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 True",fontsize=16,color="black",shape="box"];2639 -> 2641[label="",style="solid", color="black", weight=3];
2640[label="foldFM_GE1 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 False",fontsize=16,color="black",shape="box"];2640 -> 2642[label="",style="solid", color="black", weight=3];
220 -> 257[label="",style="dashed", color="red", weight=0];
220[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz11) (Pos Zero) EmptyFM",fontsize=16,color="magenta"];220 -> 260[label="",style="dashed", color="magenta", weight=3];
221 -> 261[label="",style="dashed", color="red", weight=0];
221[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Pos (Succ wz3000)) wz31 wz11) (Pos Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="magenta"];221 -> 264[label="",style="dashed", color="magenta", weight=3];
222[label="Pos (Succ wz3000) : wz5",fontsize=16,color="green",shape="box"];224 -> 186[label="",style="dashed", color="red", weight=0];
224[label="keysFM_GE0 (Pos (Succ wz3000)) wz31 wz5",fontsize=16,color="magenta"];223[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) wz330 wz331 wz332 wz333 wz334 (wz330 >= Neg wz40)",fontsize=16,color="black",shape="triangle"];223 -> 265[label="",style="solid", color="black", weight=3];
1187[label="wz400",fontsize=16,color="green",shape="box"];1188[label="wz34",fontsize=16,color="green",shape="box"];1189[label="[]",fontsize=16,color="green",shape="box"];258[label="keysFM_GE0 (Pos Zero) wz31 wz6",fontsize=16,color="black",shape="triangle"];258 -> 266[label="",style="solid", color="black", weight=3];
257[label="foldFM_GE3 keysFM_GE0 wz16 (Pos Zero) EmptyFM",fontsize=16,color="black",shape="triangle"];257 -> 267[label="",style="solid", color="black", weight=3];
262 -> 258[label="",style="dashed", color="red", weight=0];
262[label="keysFM_GE0 (Pos Zero) wz31 wz6",fontsize=16,color="magenta"];261[label="foldFM_GE2 keysFM_GE0 wz17 (Pos Zero) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="triangle"];261 -> 268[label="",style="solid", color="black", weight=3];
287 -> 258[label="",style="dashed", color="red", weight=0];
287[label="keysFM_GE0 (Pos Zero) wz31 wz7",fontsize=16,color="magenta"];287 -> 289[label="",style="dashed", color="magenta", weight=3];
286[label="foldFM_GE3 keysFM_GE0 wz20 (Neg (Succ wz400)) EmptyFM",fontsize=16,color="black",shape="triangle"];286 -> 290[label="",style="solid", color="black", weight=3];
292 -> 258[label="",style="dashed", color="red", weight=0];
292[label="keysFM_GE0 (Pos Zero) wz31 wz7",fontsize=16,color="magenta"];292 -> 294[label="",style="dashed", color="magenta", weight=3];
291[label="foldFM_GE2 keysFM_GE0 wz21 (Neg (Succ wz400)) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="black",shape="triangle"];291 -> 295[label="",style="solid", color="black", weight=3];
231 -> 258[label="",style="dashed", color="red", weight=0];
231[label="keysFM_GE0 (Pos Zero) wz31 wz8",fontsize=16,color="magenta"];231 -> 272[label="",style="dashed", color="magenta", weight=3];
232 -> 223[label="",style="dashed", color="red", weight=0];
232[label="foldFM_GE1 keysFM_GE0 (keysFM_GE0 (Pos Zero) wz31 wz8) (Neg Zero) wz330 wz331 wz332 wz333 wz334 (wz330 >= Neg Zero)",fontsize=16,color="magenta"];232 -> 273[label="",style="dashed", color="magenta", weight=3];
232 -> 274[label="",style="dashed", color="magenta", weight=3];
2312[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 True",fontsize=16,color="black",shape="box"];2312 -> 2325[label="",style="solid", color="black", weight=3];
2313[label="foldFM_GE1 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 False",fontsize=16,color="black",shape="box"];2313 -> 2326[label="",style="solid", color="black", weight=3];
240[label="Neg Zero",fontsize=16,color="green",shape="box"];241[label="wz34",fontsize=16,color="green",shape="box"];1252[label="foldFM_GE keysFM_GE0 wz133 (Pos (Succ wz111)) EmptyFM",fontsize=16,color="black",shape="box"];1252 -> 1289[label="",style="solid", color="black", weight=3];
1253[label="foldFM_GE keysFM_GE0 wz133 (Pos (Succ wz111)) (Branch wz1150 wz1151 wz1152 wz1153 wz1154)",fontsize=16,color="black",shape="box"];1253 -> 1290[label="",style="solid", color="black", weight=3];
259[label="keysFM_GE0 (Neg Zero) wz31 wz9",fontsize=16,color="black",shape="triangle"];259 -> 285[label="",style="solid", color="black", weight=3];
263 -> 259[label="",style="dashed", color="red", weight=0];
263[label="keysFM_GE0 (Neg Zero) wz31 wz9",fontsize=16,color="magenta"];244 -> 286[label="",style="dashed", color="red", weight=0];
244[label="foldFM_GE3 keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz12) (Neg (Succ wz400)) EmptyFM",fontsize=16,color="magenta"];244 -> 288[label="",style="dashed", color="magenta", weight=3];
245 -> 291[label="",style="dashed", color="red", weight=0];
245[label="foldFM_GE2 keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz12) (Neg (Succ wz400)) (Branch wz330 wz331 wz332 wz333 wz334)",fontsize=16,color="magenta"];245 -> 293[label="",style="dashed", color="magenta", weight=3];
246 -> 259[label="",style="dashed", color="red", weight=0];
246[label="keysFM_GE0 (Neg Zero) wz31 wz10",fontsize=16,color="magenta"];246 -> 296[label="",style="dashed", color="magenta", weight=3];
247 -> 223[label="",style="dashed", color="red", weight=0];
247[label="foldFM_GE1 keysFM_GE0 (keysFM_GE0 (Neg Zero) wz31 wz10) (Neg Zero) wz330 wz331 wz332 wz333 wz334 (wz330 >= Neg Zero)",fontsize=16,color="magenta"];247 -> 297[label="",style="dashed", color="magenta", weight=3];
247 -> 298[label="",style="dashed", color="magenta", weight=3];
2641 -> 1183[label="",style="dashed", color="red", weight=0];
2641[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz287)) wz288 (foldFM_GE keysFM_GE0 wz285 (Pos (Succ wz286)) wz291)) (Pos (Succ wz286)) wz290",fontsize=16,color="magenta"];2641 -> 2643[label="",style="dashed", color="magenta", weight=3];
2641 -> 2644[label="",style="dashed", color="magenta", weight=3];
2641 -> 2645[label="",style="dashed", color="magenta", weight=3];
2642[label="foldFM_GE0 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 otherwise",fontsize=16,color="black",shape="box"];2642 -> 2646[label="",style="solid", color="black", weight=3];
260 -> 186[label="",style="dashed", color="red", weight=0];
260[label="keysFM_GE0 (Pos (Succ wz3000)) wz31 wz11",fontsize=16,color="magenta"];260 -> 313[label="",style="dashed", color="magenta", weight=3];
264 -> 186[label="",style="dashed", color="red", weight=0];
264[label="keysFM_GE0 (Pos (Succ wz3000)) wz31 wz11",fontsize=16,color="magenta"];264 -> 314[label="",style="dashed", color="magenta", weight=3];
265[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) wz330 wz331 wz332 wz333 wz334 (compare wz330 (Neg wz40) /= LT)",fontsize=16,color="black",shape="box"];265 -> 315[label="",style="solid", color="black", weight=3];
266[label="Pos Zero : wz6",fontsize=16,color="green",shape="box"];267[label="wz16",fontsize=16,color="green",shape="box"];268[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) wz330 wz331 wz332 wz333 wz334 (wz330 >= Pos Zero)",fontsize=16,color="black",shape="box"];268 -> 316[label="",style="solid", color="black", weight=3];
289[label="wz7",fontsize=16,color="green",shape="box"];290[label="wz20",fontsize=16,color="green",shape="box"];294[label="wz7",fontsize=16,color="green",shape="box"];295 -> 223[label="",style="dashed", color="red", weight=0];
295[label="foldFM_GE1 keysFM_GE0 wz21 (Neg (Succ wz400)) wz330 wz331 wz332 wz333 wz334 (wz330 >= Neg (Succ wz400))",fontsize=16,color="magenta"];295 -> 336[label="",style="dashed", color="magenta", weight=3];
295 -> 337[label="",style="dashed", color="magenta", weight=3];
272[label="wz8",fontsize=16,color="green",shape="box"];273 -> 258[label="",style="dashed", color="red", weight=0];
273[label="keysFM_GE0 (Pos Zero) wz31 wz8",fontsize=16,color="magenta"];273 -> 317[label="",style="dashed", color="magenta", weight=3];
274[label="Zero",fontsize=16,color="green",shape="box"];2325 -> 647[label="",style="dashed", color="red", weight=0];
2325[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg (Succ wz214)) wz215 (foldFM_GE keysFM_GE0 wz212 (Neg (Succ wz213)) wz218)) (Neg (Succ wz213)) wz217",fontsize=16,color="magenta"];2325 -> 2372[label="",style="dashed", color="magenta", weight=3];
2325 -> 2373[label="",style="dashed", color="magenta", weight=3];
2325 -> 2374[label="",style="dashed", color="magenta", weight=3];
2326[label="foldFM_GE0 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 otherwise",fontsize=16,color="black",shape="box"];2326 -> 2375[label="",style="solid", color="black", weight=3];
1289[label="foldFM_GE3 keysFM_GE0 wz133 (Pos (Succ wz111)) EmptyFM",fontsize=16,color="black",shape="box"];1289 -> 1372[label="",style="solid", color="black", weight=3];
1290[label="foldFM_GE2 keysFM_GE0 wz133 (Pos (Succ wz111)) (Branch wz1150 wz1151 wz1152 wz1153 wz1154)",fontsize=16,color="black",shape="box"];1290 -> 1373[label="",style="solid", color="black", weight=3];
285[label="Neg Zero : wz9",fontsize=16,color="green",shape="box"];288 -> 259[label="",style="dashed", color="red", weight=0];
288[label="keysFM_GE0 (Neg Zero) wz31 wz12",fontsize=16,color="magenta"];288 -> 334[label="",style="dashed", color="magenta", weight=3];
293 -> 259[label="",style="dashed", color="red", weight=0];
293[label="keysFM_GE0 (Neg Zero) wz31 wz12",fontsize=16,color="magenta"];293 -> 335[label="",style="dashed", color="magenta", weight=3];
296[label="wz10",fontsize=16,color="green",shape="box"];297 -> 259[label="",style="dashed", color="red", weight=0];
297[label="keysFM_GE0 (Neg Zero) wz31 wz10",fontsize=16,color="magenta"];297 -> 338[label="",style="dashed", color="magenta", weight=3];
298[label="Zero",fontsize=16,color="green",shape="box"];2643[label="wz286",fontsize=16,color="green",shape="box"];2644[label="wz290",fontsize=16,color="green",shape="box"];2645 -> 186[label="",style="dashed", color="red", weight=0];
2645[label="keysFM_GE0 (Pos (Succ wz287)) wz288 (foldFM_GE keysFM_GE0 wz285 (Pos (Succ wz286)) wz291)",fontsize=16,color="magenta"];2645 -> 2647[label="",style="dashed", color="magenta", weight=3];
2645 -> 2648[label="",style="dashed", color="magenta", weight=3];
2645 -> 2649[label="",style="dashed", color="magenta", weight=3];
2646[label="foldFM_GE0 keysFM_GE0 wz285 (Pos (Succ wz286)) (Pos (Succ wz287)) wz288 wz289 wz290 wz291 True",fontsize=16,color="black",shape="box"];2646 -> 2650[label="",style="solid", color="black", weight=3];
313[label="wz11",fontsize=16,color="green",shape="box"];314[label="wz11",fontsize=16,color="green",shape="box"];315[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) wz330 wz331 wz332 wz333 wz334 (not (compare wz330 (Neg wz40) == LT))",fontsize=16,color="black",shape="box"];315 -> 354[label="",style="solid", color="black", weight=3];
316[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) wz330 wz331 wz332 wz333 wz334 (compare wz330 (Pos Zero) /= LT)",fontsize=16,color="black",shape="box"];316 -> 355[label="",style="solid", color="black", weight=3];
336[label="wz21",fontsize=16,color="green",shape="box"];337[label="Succ wz400",fontsize=16,color="green",shape="box"];317[label="wz8",fontsize=16,color="green",shape="box"];2372 -> 2412[label="",style="dashed", color="red", weight=0];
2372[label="keysFM_GE0 (Neg (Succ wz214)) wz215 (foldFM_GE keysFM_GE0 wz212 (Neg (Succ wz213)) wz218)",fontsize=16,color="magenta"];2372 -> 2413[label="",style="dashed", color="magenta", weight=3];
2373[label="Succ wz213",fontsize=16,color="green",shape="box"];2374[label="wz217",fontsize=16,color="green",shape="box"];647[label="foldFM_GE keysFM_GE0 wz13 (Neg wz40) wz334",fontsize=16,color="burlywood",shape="triangle"];2772[label="wz334/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];647 -> 2772[label="",style="solid", color="burlywood", weight=9];
2772 -> 745[label="",style="solid", color="burlywood", weight=3];
2773[label="wz334/Branch wz3340 wz3341 wz3342 wz3343 wz3344",fontsize=10,color="white",style="solid",shape="box"];647 -> 2773[label="",style="solid", color="burlywood", weight=9];
2773 -> 746[label="",style="solid", color="burlywood", weight=3];
2375[label="foldFM_GE0 keysFM_GE0 wz212 (Neg (Succ wz213)) (Neg (Succ wz214)) wz215 wz216 wz217 wz218 True",fontsize=16,color="black",shape="box"];2375 -> 2415[label="",style="solid", color="black", weight=3];
1372[label="wz133",fontsize=16,color="green",shape="box"];1373[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) wz1150 wz1151 wz1152 wz1153 wz1154 (wz1150 >= Pos (Succ wz111))",fontsize=16,color="black",shape="box"];1373 -> 1397[label="",style="solid", color="black", weight=3];
334[label="wz12",fontsize=16,color="green",shape="box"];335[label="wz12",fontsize=16,color="green",shape="box"];338[label="wz10",fontsize=16,color="green",shape="box"];2647[label="wz287",fontsize=16,color="green",shape="box"];2648 -> 1183[label="",style="dashed", color="red", weight=0];
2648[label="foldFM_GE keysFM_GE0 wz285 (Pos (Succ wz286)) wz291",fontsize=16,color="magenta"];2648 -> 2651[label="",style="dashed", color="magenta", weight=3];
2648 -> 2652[label="",style="dashed", color="magenta", weight=3];
2648 -> 2653[label="",style="dashed", color="magenta", weight=3];
2649[label="wz288",fontsize=16,color="green",shape="box"];2650 -> 1183[label="",style="dashed", color="red", weight=0];
2650[label="foldFM_GE keysFM_GE0 wz285 (Pos (Succ wz286)) wz291",fontsize=16,color="magenta"];2650 -> 2654[label="",style="dashed", color="magenta", weight=3];
2650 -> 2655[label="",style="dashed", color="magenta", weight=3];
2650 -> 2656[label="",style="dashed", color="magenta", weight=3];
354[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) wz330 wz331 wz332 wz333 wz334 (not (primCmpInt wz330 (Neg wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2776[label="wz330/Pos wz3300",fontsize=10,color="white",style="solid",shape="box"];354 -> 2776[label="",style="solid", color="burlywood", weight=9];
2776 -> 380[label="",style="solid", color="burlywood", weight=3];
2777[label="wz330/Neg wz3300",fontsize=10,color="white",style="solid",shape="box"];354 -> 2777[label="",style="solid", color="burlywood", weight=9];
2777 -> 381[label="",style="solid", color="burlywood", weight=3];
355[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) wz330 wz331 wz332 wz333 wz334 (not (compare wz330 (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];355 -> 382[label="",style="solid", color="black", weight=3];
2413 -> 647[label="",style="dashed", color="red", weight=0];
2413[label="foldFM_GE keysFM_GE0 wz212 (Neg (Succ wz213)) wz218",fontsize=16,color="magenta"];2413 -> 2419[label="",style="dashed", color="magenta", weight=3];
2413 -> 2420[label="",style="dashed", color="magenta", weight=3];
2413 -> 2421[label="",style="dashed", color="magenta", weight=3];
2412[label="keysFM_GE0 (Neg (Succ wz214)) wz215 wz267",fontsize=16,color="black",shape="triangle"];2412 -> 2422[label="",style="solid", color="black", weight=3];
745[label="foldFM_GE keysFM_GE0 wz13 (Neg wz40) EmptyFM",fontsize=16,color="black",shape="box"];745 -> 816[label="",style="solid", color="black", weight=3];
746[label="foldFM_GE keysFM_GE0 wz13 (Neg wz40) (Branch wz3340 wz3341 wz3342 wz3343 wz3344)",fontsize=16,color="black",shape="box"];746 -> 817[label="",style="solid", color="black", weight=3];
2415 -> 647[label="",style="dashed", color="red", weight=0];
2415[label="foldFM_GE keysFM_GE0 wz212 (Neg (Succ wz213)) wz218",fontsize=16,color="magenta"];2415 -> 2429[label="",style="dashed", color="magenta", weight=3];
2415 -> 2430[label="",style="dashed", color="magenta", weight=3];
2415 -> 2431[label="",style="dashed", color="magenta", weight=3];
1397[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) wz1150 wz1151 wz1152 wz1153 wz1154 (compare wz1150 (Pos (Succ wz111)) /= LT)",fontsize=16,color="black",shape="box"];1397 -> 1418[label="",style="solid", color="black", weight=3];
2651[label="wz286",fontsize=16,color="green",shape="box"];2652[label="wz291",fontsize=16,color="green",shape="box"];2653[label="wz285",fontsize=16,color="green",shape="box"];2654[label="wz286",fontsize=16,color="green",shape="box"];2655[label="wz291",fontsize=16,color="green",shape="box"];2656[label="wz285",fontsize=16,color="green",shape="box"];380[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Pos wz3300) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos wz3300) (Neg wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2780[label="wz3300/Succ wz33000",fontsize=10,color="white",style="solid",shape="box"];380 -> 2780[label="",style="solid", color="burlywood", weight=9];
2780 -> 416[label="",style="solid", color="burlywood", weight=3];
2781[label="wz3300/Zero",fontsize=10,color="white",style="solid",shape="box"];380 -> 2781[label="",style="solid", color="burlywood", weight=9];
2781 -> 417[label="",style="solid", color="burlywood", weight=3];
381[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Neg wz3300) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg wz3300) (Neg wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2782[label="wz3300/Succ wz33000",fontsize=10,color="white",style="solid",shape="box"];381 -> 2782[label="",style="solid", color="burlywood", weight=9];
2782 -> 418[label="",style="solid", color="burlywood", weight=3];
2783[label="wz3300/Zero",fontsize=10,color="white",style="solid",shape="box"];381 -> 2783[label="",style="solid", color="burlywood", weight=9];
2783 -> 419[label="",style="solid", color="burlywood", weight=3];
382[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) wz330 wz331 wz332 wz333 wz334 (not (primCmpInt wz330 (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];2784[label="wz330/Pos wz3300",fontsize=10,color="white",style="solid",shape="box"];382 -> 2784[label="",style="solid", color="burlywood", weight=9];
2784 -> 420[label="",style="solid", color="burlywood", weight=3];
2785[label="wz330/Neg wz3300",fontsize=10,color="white",style="solid",shape="box"];382 -> 2785[label="",style="solid", color="burlywood", weight=9];
2785 -> 421[label="",style="solid", color="burlywood", weight=3];
2419[label="wz212",fontsize=16,color="green",shape="box"];2420[label="Succ wz213",fontsize=16,color="green",shape="box"];2421[label="wz218",fontsize=16,color="green",shape="box"];2422[label="Neg (Succ wz214) : wz267",fontsize=16,color="green",shape="box"];816[label="foldFM_GE3 keysFM_GE0 wz13 (Neg wz40) EmptyFM",fontsize=16,color="black",shape="box"];816 -> 875[label="",style="solid", color="black", weight=3];
817[label="foldFM_GE2 keysFM_GE0 wz13 (Neg wz40) (Branch wz3340 wz3341 wz3342 wz3343 wz3344)",fontsize=16,color="black",shape="box"];817 -> 876[label="",style="solid", color="black", weight=3];
2429[label="wz212",fontsize=16,color="green",shape="box"];2430[label="Succ wz213",fontsize=16,color="green",shape="box"];2431[label="wz218",fontsize=16,color="green",shape="box"];1418[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) wz1150 wz1151 wz1152 wz1153 wz1154 (not (compare wz1150 (Pos (Succ wz111)) == LT))",fontsize=16,color="black",shape="box"];1418 -> 1454[label="",style="solid", color="black", weight=3];
416[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos (Succ wz33000)) (Neg wz40) == LT))",fontsize=16,color="black",shape="box"];416 -> 457[label="",style="solid", color="black", weight=3];
417[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Pos Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos Zero) (Neg wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2786[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];417 -> 2786[label="",style="solid", color="burlywood", weight=9];
2786 -> 458[label="",style="solid", color="burlywood", weight=3];
2787[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];417 -> 2787[label="",style="solid", color="burlywood", weight=9];
2787 -> 459[label="",style="solid", color="burlywood", weight=3];
418[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg (Succ wz33000)) (Neg wz40) == LT))",fontsize=16,color="black",shape="box"];418 -> 460[label="",style="solid", color="black", weight=3];
419[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Neg Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg Zero) (Neg wz40) == LT))",fontsize=16,color="burlywood",shape="box"];2788[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];419 -> 2788[label="",style="solid", color="burlywood", weight=9];
2788 -> 461[label="",style="solid", color="burlywood", weight=3];
2789[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];419 -> 2789[label="",style="solid", color="burlywood", weight=9];
2789 -> 462[label="",style="solid", color="burlywood", weight=3];
420[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos wz3300) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos wz3300) (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];2790[label="wz3300/Succ wz33000",fontsize=10,color="white",style="solid",shape="box"];420 -> 2790[label="",style="solid", color="burlywood", weight=9];
2790 -> 463[label="",style="solid", color="burlywood", weight=3];
2791[label="wz3300/Zero",fontsize=10,color="white",style="solid",shape="box"];420 -> 2791[label="",style="solid", color="burlywood", weight=9];
2791 -> 464[label="",style="solid", color="burlywood", weight=3];
421[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg wz3300) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg wz3300) (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];2792[label="wz3300/Succ wz33000",fontsize=10,color="white",style="solid",shape="box"];421 -> 2792[label="",style="solid", color="burlywood", weight=9];
2792 -> 465[label="",style="solid", color="burlywood", weight=3];
2793[label="wz3300/Zero",fontsize=10,color="white",style="solid",shape="box"];421 -> 2793[label="",style="solid", color="burlywood", weight=9];
2793 -> 466[label="",style="solid", color="burlywood", weight=3];
875[label="wz13",fontsize=16,color="green",shape="box"];876 -> 223[label="",style="dashed", color="red", weight=0];
876[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) wz3340 wz3341 wz3342 wz3343 wz3344 (wz3340 >= Neg wz40)",fontsize=16,color="magenta"];876 -> 1044[label="",style="dashed", color="magenta", weight=3];
876 -> 1045[label="",style="dashed", color="magenta", weight=3];
876 -> 1046[label="",style="dashed", color="magenta", weight=3];
876 -> 1047[label="",style="dashed", color="magenta", weight=3];
876 -> 1048[label="",style="dashed", color="magenta", weight=3];
1454[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) wz1150 wz1151 wz1152 wz1153 wz1154 (not (primCmpInt wz1150 (Pos (Succ wz111)) == LT))",fontsize=16,color="burlywood",shape="box"];2795[label="wz1150/Pos wz11500",fontsize=10,color="white",style="solid",shape="box"];1454 -> 2795[label="",style="solid", color="burlywood", weight=9];
2795 -> 1544[label="",style="solid", color="burlywood", weight=3];
2796[label="wz1150/Neg wz11500",fontsize=10,color="white",style="solid",shape="box"];1454 -> 2796[label="",style="solid", color="burlywood", weight=9];
2796 -> 1545[label="",style="solid", color="burlywood", weight=3];
457[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 (not (GT == LT))",fontsize=16,color="black",shape="box"];457 -> 492[label="",style="solid", color="black", weight=3];
458[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Pos Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos Zero) (Neg (Succ wz400)) == LT))",fontsize=16,color="black",shape="box"];458 -> 493[label="",style="solid", color="black", weight=3];
459[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Pos Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];459 -> 494[label="",style="solid", color="black", weight=3];
460[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpNat wz40 (Succ wz33000) == LT))",fontsize=16,color="burlywood",shape="box"];2797[label="wz40/Succ wz400",fontsize=10,color="white",style="solid",shape="box"];460 -> 2797[label="",style="solid", color="burlywood", weight=9];
2797 -> 495[label="",style="solid", color="burlywood", weight=3];
2798[label="wz40/Zero",fontsize=10,color="white",style="solid",shape="box"];460 -> 2798[label="",style="solid", color="burlywood", weight=9];
2798 -> 496[label="",style="solid", color="burlywood", weight=3];
461[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Neg Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg Zero) (Neg (Succ wz400)) == LT))",fontsize=16,color="black",shape="box"];461 -> 497[label="",style="solid", color="black", weight=3];
462[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg Zero) (Neg Zero) == LT))",fontsize=16,color="black",shape="box"];462 -> 498[label="",style="solid", color="black", weight=3];
463[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos (Succ wz33000)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];463 -> 499[label="",style="solid", color="black", weight=3];
464[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];464 -> 500[label="",style="solid", color="black", weight=3];
465[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg (Succ wz33000)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];465 -> 501[label="",style="solid", color="black", weight=3];
466[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg Zero) wz331 wz332 wz333 wz334 (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];466 -> 502[label="",style="solid", color="black", weight=3];
1044[label="wz3342",fontsize=16,color="green",shape="box"];1045[label="wz3343",fontsize=16,color="green",shape="box"];1046[label="wz3341",fontsize=16,color="green",shape="box"];1047[label="wz3344",fontsize=16,color="green",shape="box"];1048[label="wz3340",fontsize=16,color="green",shape="box"];1544[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos wz11500) wz1151 wz1152 wz1153 wz1154 (not (primCmpInt (Pos wz11500) (Pos (Succ wz111)) == LT))",fontsize=16,color="burlywood",shape="box"];2799[label="wz11500/Succ wz115000",fontsize=10,color="white",style="solid",shape="box"];1544 -> 2799[label="",style="solid", color="burlywood", weight=9];
2799 -> 1560[label="",style="solid", color="burlywood", weight=3];
2800[label="wz11500/Zero",fontsize=10,color="white",style="solid",shape="box"];1544 -> 2800[label="",style="solid", color="burlywood", weight=9];
2800 -> 1561[label="",style="solid", color="burlywood", weight=3];
1545[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg wz11500) wz1151 wz1152 wz1153 wz1154 (not (primCmpInt (Neg wz11500) (Pos (Succ wz111)) == LT))",fontsize=16,color="burlywood",shape="box"];2801[label="wz11500/Succ wz115000",fontsize=10,color="white",style="solid",shape="box"];1545 -> 2801[label="",style="solid", color="burlywood", weight=9];
2801 -> 1562[label="",style="solid", color="burlywood", weight=3];
2802[label="wz11500/Zero",fontsize=10,color="white",style="solid",shape="box"];1545 -> 2802[label="",style="solid", color="burlywood", weight=9];
2802 -> 1563[label="",style="solid", color="burlywood", weight=3];
492[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];492 -> 538[label="",style="solid", color="black", weight=3];
493[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Pos Zero) wz331 wz332 wz333 wz334 (not (GT == LT))",fontsize=16,color="black",shape="box"];493 -> 539[label="",style="solid", color="black", weight=3];
494[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Pos Zero) wz331 wz332 wz333 wz334 (not (EQ == LT))",fontsize=16,color="black",shape="box"];494 -> 540[label="",style="solid", color="black", weight=3];
495[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpNat (Succ wz400) (Succ wz33000) == LT))",fontsize=16,color="black",shape="box"];495 -> 541[label="",style="solid", color="black", weight=3];
496[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpNat Zero (Succ wz33000) == LT))",fontsize=16,color="black",shape="box"];496 -> 542[label="",style="solid", color="black", weight=3];
497[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Neg Zero) wz331 wz332 wz333 wz334 (not (primCmpNat (Succ wz400) Zero == LT))",fontsize=16,color="black",shape="box"];497 -> 543[label="",style="solid", color="black", weight=3];
498[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg Zero) wz331 wz332 wz333 wz334 (not (EQ == LT))",fontsize=16,color="black",shape="box"];498 -> 544[label="",style="solid", color="black", weight=3];
499[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpNat (Succ wz33000) Zero == LT))",fontsize=16,color="black",shape="box"];499 -> 545[label="",style="solid", color="black", weight=3];
500[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos Zero) wz331 wz332 wz333 wz334 (not (EQ == LT))",fontsize=16,color="black",shape="box"];500 -> 546[label="",style="solid", color="black", weight=3];
501[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (LT == LT))",fontsize=16,color="black",shape="box"];501 -> 547[label="",style="solid", color="black", weight=3];
502[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg Zero) wz331 wz332 wz333 wz334 (not (EQ == LT))",fontsize=16,color="black",shape="box"];502 -> 548[label="",style="solid", color="black", weight=3];
1560[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 (not (primCmpInt (Pos (Succ wz115000)) (Pos (Succ wz111)) == LT))",fontsize=16,color="black",shape="box"];1560 -> 1580[label="",style="solid", color="black", weight=3];
1561[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos Zero) wz1151 wz1152 wz1153 wz1154 (not (primCmpInt (Pos Zero) (Pos (Succ wz111)) == LT))",fontsize=16,color="black",shape="box"];1561 -> 1581[label="",style="solid", color="black", weight=3];
1562[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 (not (primCmpInt (Neg (Succ wz115000)) (Pos (Succ wz111)) == LT))",fontsize=16,color="black",shape="box"];1562 -> 1582[label="",style="solid", color="black", weight=3];
1563[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg Zero) wz1151 wz1152 wz1153 wz1154 (not (primCmpInt (Neg Zero) (Pos (Succ wz111)) == LT))",fontsize=16,color="black",shape="box"];1563 -> 1583[label="",style="solid", color="black", weight=3];
538[label="foldFM_GE1 keysFM_GE0 wz13 (Neg wz40) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];538 -> 588[label="",style="solid", color="black", weight=3];
539[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Pos Zero) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];539 -> 589[label="",style="solid", color="black", weight=3];
540[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Pos Zero) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];540 -> 590[label="",style="solid", color="black", weight=3];
541 -> 2092[label="",style="dashed", color="red", weight=0];
541[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (primCmpNat wz400 wz33000 == LT))",fontsize=16,color="magenta"];541 -> 2120[label="",style="dashed", color="magenta", weight=3];
541 -> 2121[label="",style="dashed", color="magenta", weight=3];
541 -> 2122[label="",style="dashed", color="magenta", weight=3];
541 -> 2123[label="",style="dashed", color="magenta", weight=3];
541 -> 2124[label="",style="dashed", color="magenta", weight=3];
541 -> 2125[label="",style="dashed", color="magenta", weight=3];
541 -> 2126[label="",style="dashed", color="magenta", weight=3];
541 -> 2127[label="",style="dashed", color="magenta", weight=3];
541 -> 2128[label="",style="dashed", color="magenta", weight=3];
542[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not (LT == LT))",fontsize=16,color="black",shape="box"];542 -> 593[label="",style="solid", color="black", weight=3];
543[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Neg Zero) wz331 wz332 wz333 wz334 (not (GT == LT))",fontsize=16,color="black",shape="box"];543 -> 594[label="",style="solid", color="black", weight=3];
544[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg Zero) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];544 -> 595[label="",style="solid", color="black", weight=3];
545[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 (not (GT == LT))",fontsize=16,color="black",shape="box"];545 -> 596[label="",style="solid", color="black", weight=3];
546[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos Zero) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];546 -> 597[label="",style="solid", color="black", weight=3];
547[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not True)",fontsize=16,color="black",shape="box"];547 -> 598[label="",style="solid", color="black", weight=3];
548[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg Zero) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];548 -> 599[label="",style="solid", color="black", weight=3];
1580 -> 2497[label="",style="dashed", color="red", weight=0];
1580[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 (not (primCmpNat (Succ wz115000) (Succ wz111) == LT))",fontsize=16,color="magenta"];1580 -> 2525[label="",style="dashed", color="magenta", weight=3];
1580 -> 2526[label="",style="dashed", color="magenta", weight=3];
1580 -> 2527[label="",style="dashed", color="magenta", weight=3];
1580 -> 2528[label="",style="dashed", color="magenta", weight=3];
1580 -> 2529[label="",style="dashed", color="magenta", weight=3];
1580 -> 2530[label="",style="dashed", color="magenta", weight=3];
1580 -> 2531[label="",style="dashed", color="magenta", weight=3];
1580 -> 2532[label="",style="dashed", color="magenta", weight=3];
1580 -> 2533[label="",style="dashed", color="magenta", weight=3];
1581[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos Zero) wz1151 wz1152 wz1153 wz1154 (not (primCmpNat Zero (Succ wz111) == LT))",fontsize=16,color="black",shape="box"];1581 -> 1604[label="",style="solid", color="black", weight=3];
1582[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 (not (LT == LT))",fontsize=16,color="black",shape="box"];1582 -> 1605[label="",style="solid", color="black", weight=3];
1583[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg Zero) wz1151 wz1152 wz1153 wz1154 (not (LT == LT))",fontsize=16,color="black",shape="box"];1583 -> 1606[label="",style="solid", color="black", weight=3];
588 -> 90[label="",style="dashed", color="red", weight=0];
588[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz33000)) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg wz40) wz334)) (Neg wz40) wz333",fontsize=16,color="magenta"];588 -> 645[label="",style="dashed", color="magenta", weight=3];
588 -> 646[label="",style="dashed", color="magenta", weight=3];
588 -> 647[label="",style="dashed", color="magenta", weight=3];
588 -> 648[label="",style="dashed", color="magenta", weight=3];
589[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Pos Zero) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];589 -> 649[label="",style="solid", color="black", weight=3];
590[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Pos Zero) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];590 -> 650[label="",style="solid", color="black", weight=3];
2120[label="wz332",fontsize=16,color="green",shape="box"];2121[label="wz400",fontsize=16,color="green",shape="box"];2122[label="wz33000",fontsize=16,color="green",shape="box"];2123[label="wz333",fontsize=16,color="green",shape="box"];2124[label="wz13",fontsize=16,color="green",shape="box"];2125[label="wz331",fontsize=16,color="green",shape="box"];2126[label="wz33000",fontsize=16,color="green",shape="box"];2127[label="wz334",fontsize=16,color="green",shape="box"];2128[label="wz400",fontsize=16,color="green",shape="box"];593[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 (not True)",fontsize=16,color="black",shape="box"];593 -> 655[label="",style="solid", color="black", weight=3];
594[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Neg Zero) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];594 -> 656[label="",style="solid", color="black", weight=3];
595[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg Zero) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];595 -> 657[label="",style="solid", color="black", weight=3];
596[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 (not False)",fontsize=16,color="black",shape="box"];596 -> 658[label="",style="solid", color="black", weight=3];
597[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos Zero) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];597 -> 659[label="",style="solid", color="black", weight=3];
598[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 False",fontsize=16,color="black",shape="box"];598 -> 660[label="",style="solid", color="black", weight=3];
599[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Neg Zero) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];599 -> 661[label="",style="solid", color="black", weight=3];
2525[label="wz1151",fontsize=16,color="green",shape="box"];2526[label="wz133",fontsize=16,color="green",shape="box"];2527[label="Succ wz111",fontsize=16,color="green",shape="box"];2528[label="wz1154",fontsize=16,color="green",shape="box"];2529[label="Succ wz115000",fontsize=16,color="green",shape="box"];2530[label="wz1153",fontsize=16,color="green",shape="box"];2531[label="wz1152",fontsize=16,color="green",shape="box"];2532[label="wz111",fontsize=16,color="green",shape="box"];2533[label="wz115000",fontsize=16,color="green",shape="box"];1604[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos Zero) wz1151 wz1152 wz1153 wz1154 (not (LT == LT))",fontsize=16,color="black",shape="box"];1604 -> 1621[label="",style="solid", color="black", weight=3];
1605[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 (not True)",fontsize=16,color="black",shape="box"];1605 -> 1622[label="",style="solid", color="black", weight=3];
1606[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg Zero) wz1151 wz1152 wz1153 wz1154 (not True)",fontsize=16,color="black",shape="box"];1606 -> 1623[label="",style="solid", color="black", weight=3];
645[label="wz333",fontsize=16,color="green",shape="box"];646[label="wz33000",fontsize=16,color="green",shape="box"];648[label="wz331",fontsize=16,color="green",shape="box"];649 -> 647[label="",style="dashed", color="red", weight=0];
649[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg (Succ wz400)) wz334)) (Neg (Succ wz400)) wz333",fontsize=16,color="magenta"];649 -> 747[label="",style="dashed", color="magenta", weight=3];
649 -> 748[label="",style="dashed", color="magenta", weight=3];
649 -> 749[label="",style="dashed", color="magenta", weight=3];
650 -> 647[label="",style="dashed", color="red", weight=0];
650[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg Zero) wz334)) (Neg Zero) wz333",fontsize=16,color="magenta"];650 -> 750[label="",style="dashed", color="magenta", weight=3];
650 -> 751[label="",style="dashed", color="magenta", weight=3];
650 -> 752[label="",style="dashed", color="magenta", weight=3];
655[label="foldFM_GE1 keysFM_GE0 wz13 (Neg Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 False",fontsize=16,color="black",shape="box"];655 -> 757[label="",style="solid", color="black", weight=3];
656[label="foldFM_GE1 keysFM_GE0 wz13 (Neg (Succ wz400)) (Neg Zero) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];656 -> 758[label="",style="solid", color="black", weight=3];
657 -> 647[label="",style="dashed", color="red", weight=0];
657[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg Zero) wz334)) (Neg Zero) wz333",fontsize=16,color="magenta"];657 -> 759[label="",style="dashed", color="magenta", weight=3];
657 -> 760[label="",style="dashed", color="magenta", weight=3];
657 -> 761[label="",style="dashed", color="magenta", weight=3];
658[label="foldFM_GE1 keysFM_GE0 wz17 (Pos Zero) (Pos (Succ wz33000)) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];658 -> 762[label="",style="solid", color="black", weight=3];
659 -> 116[label="",style="dashed", color="red", weight=0];
659[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos Zero) wz331 (foldFM_GE keysFM_GE0 wz17 (Pos Zero) wz334)) (Pos Zero) wz333",fontsize=16,color="magenta"];659 -> 763[label="",style="dashed", color="magenta", weight=3];
659 -> 764[label="",style="dashed", color="magenta", weight=3];
659 -> 765[label="",style="dashed", color="magenta", weight=3];
660[label="foldFM_GE0 keysFM_GE0 wz17 (Pos Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 otherwise",fontsize=16,color="black",shape="box"];660 -> 766[label="",style="solid", color="black", weight=3];
661 -> 129[label="",style="dashed", color="red", weight=0];
661[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz331 (foldFM_GE keysFM_GE0 wz17 (Pos Zero) wz334)) (Pos Zero) wz333",fontsize=16,color="magenta"];661 -> 767[label="",style="dashed", color="magenta", weight=3];
661 -> 768[label="",style="dashed", color="magenta", weight=3];
661 -> 769[label="",style="dashed", color="magenta", weight=3];
1621[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos Zero) wz1151 wz1152 wz1153 wz1154 (not True)",fontsize=16,color="black",shape="box"];1621 -> 1639[label="",style="solid", color="black", weight=3];
1622[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 False",fontsize=16,color="black",shape="box"];1622 -> 1640[label="",style="solid", color="black", weight=3];
1623[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg Zero) wz1151 wz1152 wz1153 wz1154 False",fontsize=16,color="black",shape="box"];1623 -> 1641[label="",style="solid", color="black", weight=3];
747 -> 258[label="",style="dashed", color="red", weight=0];
747[label="keysFM_GE0 (Pos Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg (Succ wz400)) wz334)",fontsize=16,color="magenta"];747 -> 818[label="",style="dashed", color="magenta", weight=3];
747 -> 819[label="",style="dashed", color="magenta", weight=3];
748[label="Succ wz400",fontsize=16,color="green",shape="box"];749[label="wz333",fontsize=16,color="green",shape="box"];750 -> 258[label="",style="dashed", color="red", weight=0];
750[label="keysFM_GE0 (Pos Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg Zero) wz334)",fontsize=16,color="magenta"];750 -> 820[label="",style="dashed", color="magenta", weight=3];
750 -> 821[label="",style="dashed", color="magenta", weight=3];
751[label="Zero",fontsize=16,color="green",shape="box"];752[label="wz333",fontsize=16,color="green",shape="box"];757[label="foldFM_GE0 keysFM_GE0 wz13 (Neg Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 otherwise",fontsize=16,color="black",shape="box"];757 -> 827[label="",style="solid", color="black", weight=3];
758 -> 647[label="",style="dashed", color="red", weight=0];
758[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Neg Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg (Succ wz400)) wz334)) (Neg (Succ wz400)) wz333",fontsize=16,color="magenta"];758 -> 828[label="",style="dashed", color="magenta", weight=3];
758 -> 829[label="",style="dashed", color="magenta", weight=3];
758 -> 830[label="",style="dashed", color="magenta", weight=3];
759 -> 259[label="",style="dashed", color="red", weight=0];
759[label="keysFM_GE0 (Neg Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg Zero) wz334)",fontsize=16,color="magenta"];759 -> 831[label="",style="dashed", color="magenta", weight=3];
759 -> 832[label="",style="dashed", color="magenta", weight=3];
760[label="Zero",fontsize=16,color="green",shape="box"];761[label="wz333",fontsize=16,color="green",shape="box"];762 -> 139[label="",style="dashed", color="red", weight=0];
762[label="foldFM_GE keysFM_GE0 (keysFM_GE0 (Pos (Succ wz33000)) wz331 (foldFM_GE keysFM_GE0 wz17 (Pos Zero) wz334)) (Pos Zero) wz333",fontsize=16,color="magenta"];762 -> 833[label="",style="dashed", color="magenta", weight=3];
762 -> 834[label="",style="dashed", color="magenta", weight=3];
762 -> 835[label="",style="dashed", color="magenta", weight=3];
762 -> 836[label="",style="dashed", color="magenta", weight=3];
763[label="wz333",fontsize=16,color="green",shape="box"];764[label="foldFM_GE keysFM_GE0 wz17 (Pos Zero) wz334",fontsize=16,color="burlywood",shape="triangle"];2816[label="wz334/EmptyFM",fontsize=10,color="white",style="solid",shape="box"];764 -> 2816[label="",style="solid", color="burlywood", weight=9];
2816 -> 837[label="",style="solid", color="burlywood", weight=3];
2817[label="wz334/Branch wz3340 wz3341 wz3342 wz3343 wz3344",fontsize=10,color="white",style="solid",shape="box"];764 -> 2817[label="",style="solid", color="burlywood", weight=9];
2817 -> 838[label="",style="solid", color="burlywood", weight=3];
765[label="wz331",fontsize=16,color="green",shape="box"];766[label="foldFM_GE0 keysFM_GE0 wz17 (Pos Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];766 -> 839[label="",style="solid", color="black", weight=3];
767[label="wz333",fontsize=16,color="green",shape="box"];768 -> 764[label="",style="dashed", color="red", weight=0];
768[label="foldFM_GE keysFM_GE0 wz17 (Pos Zero) wz334",fontsize=16,color="magenta"];769[label="wz331",fontsize=16,color="green",shape="box"];1639[label="foldFM_GE1 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos Zero) wz1151 wz1152 wz1153 wz1154 False",fontsize=16,color="black",shape="box"];1639 -> 1658[label="",style="solid", color="black", weight=3];
1640[label="foldFM_GE0 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 otherwise",fontsize=16,color="black",shape="box"];1640 -> 1659[label="",style="solid", color="black", weight=3];
1641[label="foldFM_GE0 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg Zero) wz1151 wz1152 wz1153 wz1154 otherwise",fontsize=16,color="black",shape="box"];1641 -> 1660[label="",style="solid", color="black", weight=3];
818 -> 647[label="",style="dashed", color="red", weight=0];
818[label="foldFM_GE keysFM_GE0 wz13 (Neg (Succ wz400)) wz334",fontsize=16,color="magenta"];818 -> 877[label="",style="dashed", color="magenta", weight=3];
819[label="wz331",fontsize=16,color="green",shape="box"];820 -> 647[label="",style="dashed", color="red", weight=0];
820[label="foldFM_GE keysFM_GE0 wz13 (Neg Zero) wz334",fontsize=16,color="magenta"];820 -> 878[label="",style="dashed", color="magenta", weight=3];
821[label="wz331",fontsize=16,color="green",shape="box"];827[label="foldFM_GE0 keysFM_GE0 wz13 (Neg Zero) (Neg (Succ wz33000)) wz331 wz332 wz333 wz334 True",fontsize=16,color="black",shape="box"];827 -> 886[label="",style="solid", color="black", weight=3];
828 -> 259[label="",style="dashed", color="red", weight=0];
828[label="keysFM_GE0 (Neg Zero) wz331 (foldFM_GE keysFM_GE0 wz13 (Neg (Succ wz400)) wz334)",fontsize=16,color="magenta"];828 -> 887[label="",style="dashed", color="magenta", weight=3];
828 -> 888[label="",style="dashed", color="magenta", weight=3];
829[label="Succ wz400",fontsize=16,color="green",shape="box"];830[label="wz333",fontsize=16,color="green",shape="box"];831 -> 647[label="",style="dashed", color="red", weight=0];
831[label="foldFM_GE keysFM_GE0 wz13 (Neg Zero) wz334",fontsize=16,color="magenta"];831 -> 889[label="",style="dashed", color="magenta", weight=3];
832[label="wz331",fontsize=16,color="green",shape="box"];833[label="wz333",fontsize=16,color="green",shape="box"];834[label="wz33000",fontsize=16,color="green",shape="box"];835 -> 764[label="",style="dashed", color="red", weight=0];
835[label="foldFM_GE keysFM_GE0 wz17 (Pos Zero) wz334",fontsize=16,color="magenta"];836[label="wz331",fontsize=16,color="green",shape="box"];837[label="foldFM_GE keysFM_GE0 wz17 (Pos Zero) EmptyFM",fontsize=16,color="black",shape="box"];837 -> 890[label="",style="solid", color="black", weight=3];
838[label="foldFM_GE keysFM_GE0 wz17 (Pos Zero) (Branch wz3340 wz3341 wz3342 wz3343 wz3344)",fontsize=16,color="black",shape="box"];838 -> 891[label="",style="solid", color="black", weight=3];
839 -> 764[label="",style="dashed", color="red", weight=0];
839[label="foldFM_GE keysFM_GE0 wz17 (Pos Zero) wz334",fontsize=16,color="magenta"];1658[label="foldFM_GE0 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos Zero) wz1151 wz1152 wz1153 wz1154 otherwise",fontsize=16,color="black",shape="box"];1658 -> 1678[label="",style="solid", color="black", weight=3];
1659[label="foldFM_GE0 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg (Succ wz115000)) wz1151 wz1152 wz1153 wz1154 True",fontsize=16,color="black",shape="box"];1659 -> 1679[label="",style="solid", color="black", weight=3];
1660[label="foldFM_GE0 keysFM_GE0 wz133 (Pos (Succ wz111)) (Neg Zero) wz1151 wz1152 wz1153 wz1154 True",fontsize=16,color="black",shape="box"];1660 -> 1680[label="",style="solid", color="black", weight=3];
877[label="Succ wz400",fontsize=16,color="green",shape="box"];878[label="Zero",fontsize=16,color="green",shape="box"];886 -> 647[label="",style="dashed", color="red", weight=0];
886[label="foldFM_GE keysFM_GE0 wz13 (Neg Zero) wz334",fontsize=16,color="magenta"];886 -> 1056[label="",style="dashed", color="magenta", weight=3];
887 -> 647[label="",style="dashed", color="red", weight=0];
887[label="foldFM_GE keysFM_GE0 wz13 (Neg (Succ wz400)) wz334",fontsize=16,color="magenta"];887 -> 1057[label="",style="dashed", color="magenta", weight=3];
888[label="wz331",fontsize=16,color="green",shape="box"];889[label="Zero",fontsize=16,color="green",shape="box"];890 -> 257[label="",style="dashed", color="red", weight=0];
890[label="foldFM_GE3 keysFM_GE0 wz17 (Pos Zero) EmptyFM",fontsize=16,color="magenta"];890 -> 1058[label="",style="dashed", color="magenta", weight=3];
891 -> 261[label="",style="dashed", color="red", weight=0];
891[label="foldFM_GE2 keysFM_GE0 wz17 (Pos Zero) (Branch wz3340 wz3341 wz3342 wz3343 wz3344)",fontsize=16,color="magenta"];891 -> 1059[label="",style="dashed", color="magenta", weight=3];
891 -> 1060[label="",style="dashed", color="magenta", weight=3];
891 -> 1061[label="",style="dashed", color="magenta", weight=3];
891 -> 1062[label="",style="dashed", color="magenta", weight=3];
891 -> 1063[label="",style="dashed", color="magenta", weight=3];
1678[label="foldFM_GE0 keysFM_GE0 wz133 (Pos (Succ wz111)) (Pos Zero) wz1151 wz1152 wz1153 wz1154 True",fontsize=16,color="black",shape="box"];1678 -> 1701[label="",style="solid", color="black", weight=3];
1679 -> 1183[label="",style="dashed", color="red", weight=0];
1679[label="foldFM_GE keysFM_GE0 wz133 (Pos (Succ wz111)) wz1154",fontsize=16,color="magenta"];1679 -> 1702[label="",style="dashed", color="magenta", weight=3];
1680 -> 1183[label="",style="dashed", color="red", weight=0];
1680[label="foldFM_GE keysFM_GE0 wz133 (Pos (Succ wz111)) wz1154",fontsize=16,color="magenta"];1680 -> 1703[label="",style="dashed", color="magenta", weight=3];
1056[label="Zero",fontsize=16,color="green",shape="box"];1057[label="Succ wz400",fontsize=16,color="green",shape="box"];1058[label="wz17",fontsize=16,color="green",shape="box"];1059[label="wz3342",fontsize=16,color="green",shape="box"];1060[label="wz3343",fontsize=16,color="green",shape="box"];1061[label="wz3341",fontsize=16,color="green",shape="box"];1062[label="wz3344",fontsize=16,color="green",shape="box"];1063[label="wz3340",fontsize=16,color="green",shape="box"];1701 -> 1183[label="",style="dashed", color="red", weight=0];
1701[label="foldFM_GE keysFM_GE0 wz133 (Pos (Succ wz111)) wz1154",fontsize=16,color="magenta"];1701 -> 1771[label="",style="dashed", color="magenta", weight=3];
1702[label="wz1154",fontsize=16,color="green",shape="box"];1703[label="wz1154",fontsize=16,color="green",shape="box"];1771[label="wz1154",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Zero, ba) → new_foldFM_GE2(new_keysFM_GE02(wz214, wz215, new_foldFM_GE0(wz212, Succ(wz213), wz218, ba), ba), Succ(wz213), wz217, ba)
new_foldFM_GE1(wz13, Succ(wz400), Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Succ(wz400), wz334, h)
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Succ(wz2200), ba) → new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, wz2190, wz2200, ba)
new_foldFM_GE1(wz13, Succ(wz400), Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE0(wz331, new_foldFM_GE0(wz13, Succ(wz400), wz334, h), h), Succ(wz400), wz333, h)
new_foldFM_GE1(wz13, Zero, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Zero, wz334, h)
new_foldFM_GE1(wz13, Zero, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE0(wz331, new_foldFM_GE0(wz13, Zero, wz334, h), h), Zero, wz333, h)
new_foldFM_GE(wz3000, wz31, wz5, wz40, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE1(new_keysFM_GE01(wz3000, wz31, wz5, h), wz40, wz330, wz331, wz332, wz333, wz334, h)
new_foldFM_GE1(wz13, Zero, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Zero, wz334, h)
new_foldFM_GE11(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba) → new_foldFM_GE2(new_keysFM_GE02(wz214, wz215, new_foldFM_GE0(wz212, Succ(wz213), wz218, ba), ba), Succ(wz213), wz217, ba)
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Zero, Succ(wz2200), ba) → new_foldFM_GE2(wz212, Succ(wz213), wz218, ba)
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Zero, ba) → new_foldFM_GE2(wz212, Succ(wz213), wz218, ba)
new_foldFM_GE1(wz13, Zero, Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Zero, wz334, h)
new_foldFM_GE2(wz13, wz40, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE1(wz13, wz40, wz3340, wz3341, wz3342, wz3343, wz3344, h)
new_foldFM_GE1(wz13, Succ(wz400), Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE10(wz13, wz400, wz33000, wz331, wz332, wz333, wz334, wz400, wz33000, h)
new_foldFM_GE1(wz13, Succ(wz400), Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Succ(wz400), wz334, h)
new_foldFM_GE1(wz13, wz40, Pos(Succ(wz33000)), wz331, wz332, wz333, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE1(wz13, wz40, wz3340, wz3341, wz3342, wz3343, wz3344, h)
new_foldFM_GE1(wz13, wz40, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE(wz33000, wz331, new_foldFM_GE0(wz13, wz40, wz334, h), wz40, wz333, h)
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Zero, Zero, ba) → new_foldFM_GE11(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba)
new_foldFM_GE1(wz13, Succ(wz400), Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE00(wz331, new_foldFM_GE0(wz13, Succ(wz400), wz334, h), h), Succ(wz400), wz333, h)
new_foldFM_GE1(wz13, Zero, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE00(wz331, new_foldFM_GE0(wz13, Zero, wz334, h), h), Zero, wz333, h)
new_foldFM_GE11(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba) → new_foldFM_GE2(wz212, Succ(wz213), wz218, ba)

The TRS R consists of the following rules:

new_foldFM_GE12(wz13, Zero, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE0(new_keysFM_GE00(wz331, new_foldFM_GE0(wz13, Zero, wz334, h), h), Zero, wz333, h)
new_foldFM_GE0(wz13, wz40, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE12(wz13, wz40, wz3340, wz3341, wz3342, wz3343, wz3344, h)
new_keysFM_GE02(wz214, wz215, wz267, ba) → :(Neg(Succ(wz214)), wz267)
new_foldFM_GE12(wz13, Succ(wz400), Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE14(wz13, wz400, wz33000, wz331, wz332, wz333, wz334, wz400, wz33000, h)
new_foldFM_GE14(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Succ(wz2200), ba) → new_foldFM_GE14(wz212, wz213, wz214, wz215, wz216, wz217, wz218, wz2190, wz2200, ba)
new_foldFM_GE13(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba) → new_foldFM_GE0(new_keysFM_GE02(wz214, wz215, new_foldFM_GE0(wz212, Succ(wz213), wz218, ba), ba), Succ(wz213), wz217, ba)
new_foldFM_GE12(wz13, Zero, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE0(new_keysFM_GE0(wz331, new_foldFM_GE0(wz13, Zero, wz334, h), h), Zero, wz333, h)
new_foldFM_GE12(wz13, Zero, Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE0(wz13, Zero, wz334, h)
new_keysFM_GE01(wz3000, wz31, wz5, h) → :(Pos(Succ(wz3000)), wz5)
new_foldFM_GE12(wz13, Succ(wz400), Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE0(new_keysFM_GE00(wz331, new_foldFM_GE0(wz13, Succ(wz400), wz334, h), h), Succ(wz400), wz333, h)
new_foldFM_GE3(wz3000, wz31, wz5, wz40, EmptyFM, h) → new_keysFM_GE01(wz3000, wz31, wz5, h)
new_foldFM_GE14(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Zero, ba) → new_foldFM_GE13(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba)
new_foldFM_GE14(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Zero, Succ(wz2200), ba) → new_foldFM_GE0(wz212, Succ(wz213), wz218, ba)
new_foldFM_GE3(wz3000, wz31, wz5, wz40, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE12(new_keysFM_GE01(wz3000, wz31, wz5, h), wz40, wz330, wz331, wz332, wz333, wz334, h)
new_foldFM_GE14(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Zero, Zero, ba) → new_foldFM_GE13(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba)
new_keysFM_GE00(wz31, wz9, h) → :(Neg(Zero), wz9)
new_foldFM_GE12(wz13, wz40, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE3(wz33000, wz331, new_foldFM_GE0(wz13, wz40, wz334, h), wz40, wz333, h)
new_foldFM_GE0(wz13, wz40, EmptyFM, h) → wz13
new_foldFM_GE12(wz13, Succ(wz400), Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE0(new_keysFM_GE0(wz331, new_foldFM_GE0(wz13, Succ(wz400), wz334, h), h), Succ(wz400), wz333, h)
new_keysFM_GE0(wz31, wz6, h) → :(Pos(Zero), wz6)

The set Q consists of the following terms:

new_foldFM_GE0(x0, x1, EmptyFM, x2)
new_foldFM_GE12(x0, Succ(x1), Neg(Zero), x2, x3, x4, x5, x6)
new_foldFM_GE3(x0, x1, x2, x3, EmptyFM, x4)
new_foldFM_GE12(x0, Succ(x1), Neg(Succ(x2)), x3, x4, x5, x6, x7)
new_foldFM_GE12(x0, Zero, Neg(Succ(x1)), x2, x3, x4, x5, x6)
new_foldFM_GE14(x0, x1, x2, x3, x4, x5, x6, Zero, Succ(x7), x8)
new_foldFM_GE3(x0, x1, x2, x3, Branch(x4, x5, x6, x7, x8), x9)
new_keysFM_GE00(x0, x1, x2)
new_foldFM_GE14(x0, x1, x2, x3, x4, x5, x6, Succ(x7), Zero, x8)
new_foldFM_GE12(x0, x1, Pos(Succ(x2)), x3, x4, x5, x6, x7)
new_foldFM_GE12(x0, Zero, Neg(Zero), x1, x2, x3, x4, x5)
new_keysFM_GE01(x0, x1, x2, x3)
new_keysFM_GE0(x0, x1, x2)
new_foldFM_GE12(x0, Zero, Pos(Zero), x1, x2, x3, x4, x5)
new_foldFM_GE13(x0, x1, x2, x3, x4, x5, x6, x7)
new_foldFM_GE14(x0, x1, x2, x3, x4, x5, x6, Zero, Zero, x7)
new_foldFM_GE12(x0, Succ(x1), Pos(Zero), x2, x3, x4, x5, x6)
new_foldFM_GE0(x0, x1, Branch(x2, x3, x4, x5, x6), x7)
new_keysFM_GE02(x0, x1, x2, x3)
new_foldFM_GE14(x0, x1, x2, x3, x4, x5, x6, Succ(x7), Succ(x8), x9)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldFM_GE2(wz13, wz40, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE1(wz13, wz40, wz3340, wz3341, wz3342, wz3343, wz3344, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 3 > 4, 3 > 5, 3 > 6, 3 > 7, 4 >= 8
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Succ(wz2200), ba) → new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, wz2190, wz2200, ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7, 8 > 8, 9 > 9, 10 >= 10
new_foldFM_GE1(wz13, Succ(wz400), Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE10(wz13, wz400, wz33000, wz331, wz332, wz333, wz334, wz400, wz33000, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7, 2 > 8, 3 > 9, 8 >= 10
new_foldFM_GE1(wz13, wz40, Pos(Succ(wz33000)), wz331, wz332, wz333, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE1(wz13, wz40, wz3340, wz3341, wz3342, wz3343, wz3344, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 7 > 3, 7 > 4, 7 > 5, 7 > 6, 7 > 7, 8 >= 8
new_foldFM_GE(wz3000, wz31, wz5, wz40, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE1(new_keysFM_GE01(wz3000, wz31, wz5, h), wz40, wz330, wz331, wz332, wz333, wz334, h)
The graph contains the following edges 4 >= 2, 5 > 3, 5 > 4, 5 > 5, 5 > 6, 5 > 7, 6 >= 8
new_foldFM_GE1(wz13, wz40, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE(wz33000, wz331, new_foldFM_GE0(wz13, wz40, wz334, h), wz40, wz333, h)
The graph contains the following edges 3 > 1, 4 >= 2, 2 >= 4, 6 >= 5, 8 >= 6
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Zero, Zero, ba) → new_foldFM_GE11(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7, 10 >= 8
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Zero, ba) → new_foldFM_GE2(new_keysFM_GE02(wz214, wz215, new_foldFM_GE0(wz212, Succ(wz213), wz218, ba), ba), Succ(wz213), wz217, ba)
The graph contains the following edges 6 >= 3, 10 >= 4
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Zero, Succ(wz2200), ba) → new_foldFM_GE2(wz212, Succ(wz213), wz218, ba)
The graph contains the following edges 1 >= 1, 7 >= 3, 10 >= 4
new_foldFM_GE10(wz212, wz213, wz214, wz215, wz216, wz217, wz218, Succ(wz2190), Zero, ba) → new_foldFM_GE2(wz212, Succ(wz213), wz218, ba)
The graph contains the following edges 1 >= 1, 7 >= 3, 10 >= 4
new_foldFM_GE1(wz13, Succ(wz400), Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Succ(wz400), wz334, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 7 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Succ(wz400), Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE0(wz331, new_foldFM_GE0(wz13, Succ(wz400), wz334, h), h), Succ(wz400), wz333, h)
The graph contains the following edges 2 >= 2, 6 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Zero, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Zero, wz334, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 2, 7 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Zero, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE0(wz331, new_foldFM_GE0(wz13, Zero, wz334, h), h), Zero, wz333, h)
The graph contains the following edges 2 >= 2, 3 > 2, 6 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Zero, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Zero, wz334, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 2, 7 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Zero, Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Zero, wz334, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 7 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Succ(wz400), Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(wz13, Succ(wz400), wz334, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 7 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Succ(wz400), Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE00(wz331, new_foldFM_GE0(wz13, Succ(wz400), wz334, h), h), Succ(wz400), wz333, h)
The graph contains the following edges 2 >= 2, 6 >= 3, 8 >= 4
new_foldFM_GE1(wz13, Zero, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE2(new_keysFM_GE00(wz331, new_foldFM_GE0(wz13, Zero, wz334, h), h), Zero, wz333, h)
The graph contains the following edges 2 >= 2, 3 > 2, 6 >= 3, 8 >= 4
new_foldFM_GE11(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba) → new_foldFM_GE2(new_keysFM_GE02(wz214, wz215, new_foldFM_GE0(wz212, Succ(wz213), wz218, ba), ba), Succ(wz213), wz217, ba)
The graph contains the following edges 6 >= 3, 8 >= 4
new_foldFM_GE11(wz212, wz213, wz214, wz215, wz216, wz217, wz218, ba) → new_foldFM_GE2(wz212, Succ(wz213), wz218, ba)
The graph contains the following edges 1 >= 1, 7 >= 3, 8 >= 4

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldFM_GE4(wz3000, wz31, wz11, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE20(new_keysFM_GE01(wz3000, wz31, wz11, h), wz330, wz331, wz332, wz333, wz334, h)
new_foldFM_GE6(wz17, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE20(wz17, wz3340, wz3341, wz3342, wz3343, wz3344, h)
new_foldFM_GE20(wz17, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE4(wz33000, wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
new_foldFM_GE20(wz17, Pos(Zero), wz331, wz332, wz333, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE20(wz17, wz3340, wz3341, wz3342, wz3343, wz3344, h)
new_foldFM_GE20(wz17, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE7(wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
new_foldFM_GE20(wz17, Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE6(wz17, wz334, h)
new_foldFM_GE20(wz17, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE6(wz17, wz334, h)
new_foldFM_GE7(wz31, wz6, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE20(new_keysFM_GE0(wz31, wz6, h), wz330, wz331, wz332, wz333, wz334, h)
new_foldFM_GE20(wz17, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE6(wz17, wz334, h)
new_foldFM_GE20(wz17, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE8(wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
new_foldFM_GE8(wz31, wz9, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE20(new_keysFM_GE00(wz31, wz9, h), wz330, wz331, wz332, wz333, wz334, h)

The TRS R consists of the following rules:

new_foldFM_GE15(wz31, wz9, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE21(new_keysFM_GE00(wz31, wz9, h), wz330, wz331, wz332, wz333, wz334, h)
new_keysFM_GE01(wz3000, wz31, wz5, h) → :(Pos(Succ(wz3000)), wz5)
new_foldFM_GE30(wz16, h) → wz16
new_foldFM_GE21(wz17, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE9(wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
new_foldFM_GE9(wz31, wz6, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE21(new_keysFM_GE0(wz31, wz6, h), wz330, wz331, wz332, wz333, wz334, h)
new_foldFM_GE5(wz17, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE21(wz17, wz3340, wz3341, wz3342, wz3343, wz3344, h)
new_foldFM_GE21(wz17, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE15(wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
new_foldFM_GE9(wz31, wz6, EmptyFM, h) → new_foldFM_GE30(new_keysFM_GE0(wz31, wz6, h), h)
new_foldFM_GE21(wz17, Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE5(wz17, wz334, h)
new_foldFM_GE21(wz17, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE16(wz33000, wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
new_foldFM_GE5(wz17, EmptyFM, h) → new_foldFM_GE30(wz17, h)
new_keysFM_GE00(wz31, wz9, h) → :(Neg(Zero), wz9)
new_foldFM_GE16(wz3000, wz31, wz11, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE21(new_keysFM_GE01(wz3000, wz31, wz11, h), wz330, wz331, wz332, wz333, wz334, h)
new_foldFM_GE15(wz31, wz9, EmptyFM, h) → new_foldFM_GE30(new_keysFM_GE00(wz31, wz9, h), h)
new_keysFM_GE0(wz31, wz6, h) → :(Pos(Zero), wz6)
new_foldFM_GE16(wz3000, wz31, wz11, EmptyFM, h) → new_foldFM_GE30(new_keysFM_GE01(wz3000, wz31, wz11, h), h)

The set Q consists of the following terms:

new_foldFM_GE30(x0, x1)
new_foldFM_GE15(x0, x1, EmptyFM, x2)
new_foldFM_GE9(x0, x1, EmptyFM, x2)
new_foldFM_GE16(x0, x1, x2, EmptyFM, x3)
new_foldFM_GE9(x0, x1, Branch(x2, x3, x4, x5, x6), x7)
new_foldFM_GE5(x0, EmptyFM, x1)
new_keysFM_GE00(x0, x1, x2)
new_keysFM_GE01(x0, x1, x2, x3)
new_foldFM_GE21(x0, Pos(Zero), x1, x2, x3, x4, x5)
new_keysFM_GE0(x0, x1, x2)
new_foldFM_GE5(x0, Branch(x1, x2, x3, x4, x5), x6)
new_foldFM_GE21(x0, Pos(Succ(x1)), x2, x3, x4, x5, x6)
new_foldFM_GE15(x0, x1, Branch(x2, x3, x4, x5, x6), x7)
new_foldFM_GE21(x0, Neg(Zero), x1, x2, x3, x4, x5)
new_foldFM_GE16(x0, x1, x2, Branch(x3, x4, x5, x6, x7), x8)
new_foldFM_GE21(x0, Neg(Succ(x1)), x2, x3, x4, x5, x6)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldFM_GE20(wz17, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE4(wz33000, wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
The graph contains the following edges 2 > 1, 3 >= 2, 5 >= 4, 7 >= 5
new_foldFM_GE20(wz17, Pos(Zero), wz331, wz332, wz333, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE20(wz17, wz3340, wz3341, wz3342, wz3343, wz3344, h)
The graph contains the following edges 1 >= 1, 6 > 2, 6 > 3, 6 > 4, 6 > 5, 6 > 6, 7 >= 7
new_foldFM_GE4(wz3000, wz31, wz11, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE20(new_keysFM_GE01(wz3000, wz31, wz11, h), wz330, wz331, wz332, wz333, wz334, h)
The graph contains the following edges 4 > 2, 4 > 3, 4 > 4, 4 > 5, 4 > 6, 5 >= 7
new_foldFM_GE6(wz17, Branch(wz3340, wz3341, wz3342, wz3343, wz3344), h) → new_foldFM_GE20(wz17, wz3340, wz3341, wz3342, wz3343, wz3344, h)
The graph contains the following edges 1 >= 1, 2 > 2, 2 > 3, 2 > 4, 2 > 5, 2 > 6, 3 >= 7
new_foldFM_GE7(wz31, wz6, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE20(new_keysFM_GE0(wz31, wz6, h), wz330, wz331, wz332, wz333, wz334, h)
The graph contains the following edges 3 > 2, 3 > 3, 3 > 4, 3 > 5, 3 > 6, 4 >= 7
new_foldFM_GE8(wz31, wz9, Branch(wz330, wz331, wz332, wz333, wz334), h) → new_foldFM_GE20(new_keysFM_GE00(wz31, wz9, h), wz330, wz331, wz332, wz333, wz334, h)
The graph contains the following edges 3 > 2, 3 > 3, 3 > 4, 3 > 5, 3 > 6, 4 >= 7
new_foldFM_GE20(wz17, Pos(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE7(wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
The graph contains the following edges 3 >= 1, 5 >= 3, 7 >= 4
new_foldFM_GE20(wz17, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE8(wz331, new_foldFM_GE5(wz17, wz334, h), wz333, h)
The graph contains the following edges 3 >= 1, 5 >= 3, 7 >= 4
new_foldFM_GE20(wz17, Neg(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE6(wz17, wz334, h)
The graph contains the following edges 1 >= 1, 6 >= 2, 7 >= 3
new_foldFM_GE20(wz17, Pos(Succ(wz33000)), wz331, wz332, wz333, wz334, h) → new_foldFM_GE6(wz17, wz334, h)
The graph contains the following edges 1 >= 1, 6 >= 2, 7 >= 3
new_foldFM_GE20(wz17, Neg(Zero), wz331, wz332, wz333, wz334, h) → new_foldFM_GE6(wz17, wz334, h)
The graph contains the following edges 1 >= 1, 6 >= 2, 7 >= 3

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Zero, h) → new_foldFM_GE18(new_keysFM_GE01(wz287, wz288, new_foldFM_GE19(wz285, wz286, wz291, h), h), wz286, wz290, h)
new_foldFM_GE110(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h) → new_foldFM_GE18(wz285, wz286, wz291, h)
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Succ(wz2930), h) → new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, wz2920, wz2930, h)
new_foldFM_GE18(wz133, wz111, Branch(Pos(Succ(wz115000)), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE17(wz133, wz111, wz115000, wz1151, wz1152, wz1153, wz1154, Succ(wz115000), Succ(wz111), ba)
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Zero, Zero, h) → new_foldFM_GE110(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h)
new_foldFM_GE18(wz133, wz111, Branch(Neg(Zero), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE18(wz133, wz111, wz1154, ba)
new_foldFM_GE18(wz133, wz111, Branch(Pos(Zero), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE18(wz133, wz111, wz1154, ba)
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Zero, h) → new_foldFM_GE18(wz285, wz286, wz291, h)
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Zero, Succ(wz2930), h) → new_foldFM_GE18(wz285, wz286, wz291, h)
new_foldFM_GE18(wz133, wz111, Branch(Neg(Succ(wz115000)), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE18(wz133, wz111, wz1154, ba)
new_foldFM_GE110(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h) → new_foldFM_GE18(new_keysFM_GE01(wz287, wz288, new_foldFM_GE19(wz285, wz286, wz291, h), h), wz286, wz290, h)

The TRS R consists of the following rules:

new_foldFM_GE111(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Succ(wz2930), h) → new_foldFM_GE111(wz285, wz286, wz287, wz288, wz289, wz290, wz291, wz2920, wz2930, h)
new_foldFM_GE111(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Zero, h) → new_foldFM_GE112(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h)
new_foldFM_GE112(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h) → new_foldFM_GE19(new_keysFM_GE01(wz287, wz288, new_foldFM_GE19(wz285, wz286, wz291, h), h), wz286, wz290, h)
new_foldFM_GE19(wz133, wz111, Branch(Neg(Succ(wz115000)), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE19(wz133, wz111, wz1154, ba)
new_foldFM_GE19(wz133, wz111, Branch(Pos(Succ(wz115000)), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE111(wz133, wz111, wz115000, wz1151, wz1152, wz1153, wz1154, Succ(wz115000), Succ(wz111), ba)
new_foldFM_GE19(wz133, wz111, EmptyFM, ba) → wz133
new_foldFM_GE111(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Zero, Succ(wz2930), h) → new_foldFM_GE19(wz285, wz286, wz291, h)
new_keysFM_GE01(wz3000, wz31, wz5, bb) → :(Pos(Succ(wz3000)), wz5)
new_foldFM_GE19(wz133, wz111, Branch(Pos(Zero), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE19(wz133, wz111, wz1154, ba)
new_foldFM_GE19(wz133, wz111, Branch(Neg(Zero), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE19(wz133, wz111, wz1154, ba)
new_foldFM_GE111(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Zero, Zero, h) → new_foldFM_GE112(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h)

The set Q consists of the following terms:

new_foldFM_GE19(x0, x1, Branch(Neg(Zero), x2, x3, x4, x5), x6)
new_foldFM_GE19(x0, x1, EmptyFM, x2)
new_foldFM_GE19(x0, x1, Branch(Neg(Succ(x2)), x3, x4, x5, x6), x7)
new_keysFM_GE01(x0, x1, x2, x3)
new_foldFM_GE19(x0, x1, Branch(Pos(Zero), x2, x3, x4, x5), x6)
new_foldFM_GE111(x0, x1, x2, x3, x4, x5, x6, Succ(x7), Succ(x8), x9)
new_foldFM_GE111(x0, x1, x2, x3, x4, x5, x6, Zero, Zero, x7)
new_foldFM_GE111(x0, x1, x2, x3, x4, x5, x6, Zero, Succ(x7), x8)
new_foldFM_GE111(x0, x1, x2, x3, x4, x5, x6, Succ(x7), Zero, x8)
new_foldFM_GE112(x0, x1, x2, x3, x4, x5, x6, x7)
new_foldFM_GE19(x0, x1, Branch(Pos(Succ(x2)), x3, x4, x5, x6), x7)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Succ(wz2930), h) → new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, wz2920, wz2930, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7, 8 > 8, 9 > 9, 10 >= 10
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Zero, Zero, h) → new_foldFM_GE110(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7, 10 >= 8
new_foldFM_GE18(wz133, wz111, Branch(Pos(Succ(wz115000)), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE17(wz133, wz111, wz115000, wz1151, wz1152, wz1153, wz1154, Succ(wz115000), Succ(wz111), ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 3 > 4, 3 > 5, 3 > 6, 3 > 7, 3 > 8, 4 >= 10
new_foldFM_GE18(wz133, wz111, Branch(Neg(Zero), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE18(wz133, wz111, wz1154, ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 >= 4
new_foldFM_GE18(wz133, wz111, Branch(Pos(Zero), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE18(wz133, wz111, wz1154, ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 >= 4
new_foldFM_GE18(wz133, wz111, Branch(Neg(Succ(wz115000)), wz1151, wz1152, wz1153, wz1154), ba) → new_foldFM_GE18(wz133, wz111, wz1154, ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 >= 4
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Zero, h) → new_foldFM_GE18(new_keysFM_GE01(wz287, wz288, new_foldFM_GE19(wz285, wz286, wz291, h), h), wz286, wz290, h)
The graph contains the following edges 2 >= 2, 6 >= 3, 10 >= 4
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Zero, Succ(wz2930), h) → new_foldFM_GE18(wz285, wz286, wz291, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 7 >= 3, 10 >= 4
new_foldFM_GE17(wz285, wz286, wz287, wz288, wz289, wz290, wz291, Succ(wz2920), Zero, h) → new_foldFM_GE18(wz285, wz286, wz291, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 7 >= 3, 10 >= 4
new_foldFM_GE110(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h) → new_foldFM_GE18(wz285, wz286, wz291, h)
The graph contains the following edges 1 >= 1, 2 >= 2, 7 >= 3, 8 >= 4
new_foldFM_GE110(wz285, wz286, wz287, wz288, wz289, wz290, wz291, h) → new_foldFM_GE18(new_keysFM_GE01(wz287, wz288, new_foldFM_GE19(wz285, wz286, wz291, h), h), wz286, wz290, h)
The graph contains the following edges 2 >= 2, 6 >= 3, 8 >= 4

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ DependencyGraphProof

Q DP problem:
The TRS P consists of the following rules:

new_foldFM_GE22(Pos(wz40), Branch(Neg(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(wz40), wz34, h)
new_foldFM_GE22(Neg(Zero), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
new_foldFM_GE22(Neg(Succ(wz400)), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Succ(wz400)), wz34, h)
new_foldFM_GE22(Neg(wz40), Branch(Pos(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(wz40), wz34, h)
new_foldFM_GE22(Neg(Succ(wz400)), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Succ(wz400)), wz34, h)
new_foldFM_GE22(Neg(Zero), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
new_foldFM_GE22(Neg(Zero), Branch(Neg(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
new_foldFM_GE22(Pos(Zero), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)
new_foldFM_GE22(Pos(Zero), Branch(Pos(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)
new_foldFM_GE22(Pos(Zero), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
The approximation of the Dependency Graph [15,17,22] contains 2 SCCs.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ DependencyGraphProof

                      ↳ AND

                        ↳ QDP

                          ↳ QDPSizeChangeProof

                        ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_foldFM_GE22(Neg(Zero), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
new_foldFM_GE22(Neg(Succ(wz400)), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Succ(wz400)), wz34, h)
new_foldFM_GE22(Neg(wz40), Branch(Pos(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(wz40), wz34, h)
new_foldFM_GE22(Neg(Succ(wz400)), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Succ(wz400)), wz34, h)
new_foldFM_GE22(Neg(Zero), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
new_foldFM_GE22(Neg(Zero), Branch(Neg(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldFM_GE22(Neg(wz40), Branch(Pos(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(wz40), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Neg(Zero), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Neg(Zero), Branch(Neg(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Neg(Zero), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Zero), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Neg(Succ(wz400)), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Succ(wz400)), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Neg(Succ(wz400)), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Neg(Succ(wz400)), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ BR

        ↳ HASKELL

          ↳ COR

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ DependencyGraphProof

                      ↳ AND

                        ↳ QDP

                        ↳ QDP

                          ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_foldFM_GE22(Pos(wz40), Branch(Neg(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(wz40), wz34, h)
new_foldFM_GE22(Pos(Zero), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)
new_foldFM_GE22(Pos(Zero), Branch(Pos(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)
new_foldFM_GE22(Pos(Zero), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)

From the DPs we obtained the following set of size-change graphs:

new_foldFM_GE22(Pos(Zero), Branch(Neg(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Pos(wz40), Branch(Neg(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(wz40), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Pos(Zero), Branch(Pos(Succ(wz3000)), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 2, 3 >= 3
new_foldFM_GE22(Pos(Zero), Branch(Pos(Zero), wz31, wz32, wz33, wz34), h) → new_foldFM_GE22(Pos(Zero), wz34, h)
The graph contains the following edges 1 >= 1, 2 > 1, 2 > 2, 3 >= 3

foldFM_GE	k z fr EmptyFM	= foldFM_GE3 k z fr EmptyFM
foldFM_GE	k z fr (Branch key elt vw fm_l fm_r)	= foldFM_GE2 k z fr (Branch key elt vw fm_l fm_r)

foldFM_GE1	k z fr key elt vw fm_l fm_r True	= foldFM_GE k (k key elt (foldFM_GE k z fr fm_r)) fr fm_l
foldFM_GE1	k z fr key elt vw fm_l fm_r False	= foldFM_GE0 k z fr key elt vw fm_l fm_r otherwise